Skip to content

Rename VS Code Extension Run Query command#11882

Merged
jf205 merged 1 commit intomainfrom
charisk/rename-vscode-run-query-cmd
Jan 24, 2023
Merged

Rename VS Code Extension Run Query command#11882
jf205 merged 1 commit intomainfrom
charisk/rename-vscode-run-query-cmd

Conversation

@charisk
Copy link
Copy Markdown
Contributor

@charisk charisk commented Jan 13, 2023

The next version of the VS Code extension will rename the CodeQL: Run Query command to CodeQL: Run Query on Selected Database.

@charisk charisk requested review from a team and jf205 January 13, 2023 08:48
@charisk charisk requested a review from a team as a code owner January 13, 2023 08:48
@charisk charisk added the ready-for-doc-review This PR requires and is ready for review from the GitHub docs team. label Jan 13, 2023
norascheuch
norascheuch approved these changes Jan 13, 2023
View reviewed changes
Copy link
Copy Markdown
Contributor

@norascheuch norascheuch left a comment

Choose a reason for hiding this comment

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

👍

@charisk charisk mentioned this pull request Jan 16, 2023
Merged
3 tasks
saritai
saritai approved these changes Jan 17, 2023
View reviewed changes
Copy link
Copy Markdown
Contributor

@saritai saritai left a comment •
edited
Loading

Choose a reason for hiding this comment

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

Looks good to me! ✨ Let us know if this is all set to merge! 👍

@charisk
Copy link
Copy Markdown
Contributor Author

charisk commented Jan 18, 2023 •
edited
Loading

Looks good to me! ✨ Let us know if this is all set to merge! 👍

Thanks! I'm unsure when the next version of the extension will be released so I'm leaving it open for now.

@felicitymay
Copy link
Copy Markdown
Contributor

felicitymay commented Jan 24, 2023

Thanks! I'm unsure when the next version of the extension will be released so I'm leaving it open for now.

Typically the CodeQL docs site is updated once every two weeks, with the new release of the CodeQL CLI.

Generally, after you merge this PR into main the change will be included on the release candidate branch created for the next CodeQL CLI release. If the next version of the extension will be released with a CodeQL CLI release, please make sure that this is merged before the release candidate branch is created. Otherwise, when you have a release date please talk to the docs team and we can discuss the best approach.

@jf205
Copy link
Copy Markdown
Contributor

jf205 commented Jan 24, 2023

I'm not too worried when this change gets published, so i think we can merge it now 👍🏻

@jf205 jf205 merged commit 176b2ca into main Jan 24, 2023
@jf205 jf205 deleted the charisk/rename-vscode-run-query-cmd branch January 24, 2023 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@norascheuch norascheuch norascheuch approved these changes

@jf205 jf205 jf205 approved these changes

@saritai saritai saritai approved these changes

Assignees

No one assigned

Labels

documentation ready-for-doc-review This PR requires and is ready for review from the GitHub docs team.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

7 participants

@charisk @felicitymay @jf205 @norascheuch @saritai @mchammer01 @docubot