Open
Description
Include column numbers in the GitHub location URLs, in the format L
startlineC
startcolumnL
endlineC
endcolumn.
Warning: It looks like this is not fully supported by the GitHub web interface, neither for the old code view nor the new code view, see https://github.com/orgs/community/discussions/48301#discussioncomment-5831155. Might be good to clarify this with your colleagues.
No worries if you decide to reject this pull request.
Also, I am not very familiar with this project yet, so please let me know if overlooked something or if there is something else I should change. Any feedback is appreciated!
Checklist
- CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
- Issues have been created for any UI or other user-facing changes made by this pull request.
- [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the
ready-for-doc-review
label there.
Originally posted by @Marcono1234 in github/vscode-codeql#2406