I think I found a bug about ref name

• hello, there
• i find a bug on project home page
• Discovered steps

1. create a project like this https://gitlab.com/SURA907/test-ref-name/tree/master
2. push some code to branch master
3. create new branch sura-pr, and modify some code
4. create a merge request from branch sura-pr to master
5. create a new branch refs/merge-requests/1/head
6. run git ls-remoteon in local git repository
7. we can see that: the ref of branch refs/merge-requests/1/head is refs/heads/refs/merge-requests/1/head and the ref refs/merge-requests/1/headis used to merge request(it should be a hidden ref)
8. refs/merge-requests/1/head and refs/heads/refs/merge-requests/1/head are different, they have different commit ids
9. but when i open the project page to branch refs/heads/refs/merge-requests/1/head, it show me the hidden ref refs/merge-requests/1/head

• this is all
• thanks