Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

"Copy remote file URL" (github) copies URL with the wrong commit ID #3301

Open
RalfJung opened this issue May 17, 2024 · 0 comments
Open

"Copy remote file URL" (github) copies URL with the wrong commit ID #3301

RalfJung opened this issue May 17, 2024 · 0 comments
Labels
bug Something isn't working triage Needs to be looked at

Comments

@RalfJung
Copy link

RalfJung commented May 17, 2024

Description

  1. Check out https://github.com/rust-lang/rust/
  2. reset to commit 4a78c00e227124ff9d5ece2d493472e7325c87d3
  3. open the file compiler/rustc_middle/src/mir/visit.rs, select lines 598 - 601

image

  1. Hit F1, "Copy remote file URL", select the rust-lang remote
  2. The URL I get is this. As you can see, it links to the wrong commit, so the line numbers don't match up

image

  1. 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

@RalfJung RalfJung added bug Something isn't working triage Needs to be looked at labels May 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working triage Needs to be looked at
Projects
None yet
Development

No branches or pull requests

1 participant