Conversation
koesie10
left a comment
There was a problem hiding this comment.
LGTM, but we'll probably need to wait until the extension has been released before merging this.
felicitymay
left a comment
There was a problem hiding this comment.
I'm not sure of the release schedule for the VS Code extension but agree that this should be merged to ensure that the changes are published at the right moment.
We update the docs for every CodeQL CLI release, publishing from the relevant release candidate branch.
felicitymay
left a comment
There was a problem hiding this comment.
Thanks for your patience with my misunderstanding @norascheuch.
This looks ready to merge when you have a date for the release.
|
A new release was published on February the 3rd (https://github.com/github/vscode-codeql/releases/tag/v1.7.8), shall we merge this? |
If you merge this PR the updated articles will be published with the next release of the CodeQL CLI in about two weeks. Is that okay? |
That sounds good to me. @norascheuch, @koesie10? |
The next version of the VS Code extension will rename some actions on the query history menu.