"Copy remote file URL" (github) copies URL with the wrong commit ID
RalfJung opened this issue · comments
Description
- Check out https://github.com/rust-lang/rust/
- reset to commit 4a78c00e227124ff9d5ece2d493472e7325c87d3
- open the file compiler/rustc_middle/src/mir/visit.rs, select lines 598 - 601
- Hit F1, "Copy remote file URL", select the rust-lang remote
- The URL I get is this. As you can see, it links to the wrong commit, so the line numbers don't match up
- Expected would be this URL, or some other commit where that file has identical contents.
GitLens Version
v15.0.3
VS Code Version
Version: 1.87.0
Release: 24060
Commit: 5695cc889d3d0500fa6c7983468a699185fce828
Date: 2024-02-29T23:06:19.600Z
Electron: 27.3.2
ElectronBuildId: undefined
Chromium: 118.0.5993.159
Node.js: 18.17.1
V8: 11.8.172.18-electron.0
OS: Linux x64 6.6.15-amd64
Git Version
git version 2.43.0
Logs, Screenshots, Screen Captures, etc
No response