[bug] Open in Gitlab leads to 404 #845
Description
Describe the bug
GitLab Community Edition (17.3.7), once a search has been done, triggering the Open in Gitlab action leads to a 404 not found in gitlab.
The url uses -/blob/refs/heads/master/ whereas it should use -/blob/master.
To reproduce
Given GitLab Community Edition (17.3.7)
WHEN I search through repos
AND I open a file (search bar shows repo:xxx rev:refs/heads/master)
AND I click to Open in Gitlab
THEN It leads to 404
The url uses -/blob/refs/heads/master/ whereas it should use -/blob/master.
NB: when directly browing repository (from ~/repos), it correctly works (there is no rev:refs/heads/master in the search bar)
Sourcebot deployment information
SourceBot v4.10.24
GitLab Community Edition (17.3.7). I don't know how it behaves with recent version.
Additional information
No response