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

Add command to copy version information #845

Merged
merged 3 commits into from
Apr 26, 2021
Merged

Conversation

shati-patel
Copy link
Contributor

@shati-patel shati-patel commented Apr 23, 2021

Fixes #795.
You can now access version information from the status bar or by running CodeQL: Copy Version Information from the Command Palette.

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.
  • [n/a] @github/docs-content-codeql has been cc'd in all issues for UI or other user-facing changes made by this pull request. This doesn't need docs: the note in the issue template should be enough.

@shati-patel shati-patel marked this pull request as ready for review April 23, 2021 16:57
Copy link
Contributor

@aeisenberg aeisenberg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. I think the changelog item can be a bit clearer. I added a suggestion.

extensions/ql-vscode/CHANGELOG.md Outdated Show resolved Hide resolved
@aeisenberg aeisenberg enabled auto-merge (rebase) April 26, 2021 14:52
@aeisenberg aeisenberg merged commit eab5865 into main Apr 26, 2021
@aeisenberg aeisenberg deleted the shati-patel/version-info branch April 26, 2021 14:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support copying version information
2 participants