Skip to content

Renamed Run Query command#1962

Merged
charisk merged 1 commit intomainfrom
charisk/rename-run-query-cmd
Jan 16, 2023
Merged

Renamed Run Query command#1962
charisk merged 1 commit intomainfrom
charisk/rename-run-query-cmd

Conversation

@charisk
Copy link
Copy Markdown
Contributor

@charisk charisk commented Jan 13, 2023 •
edited
Loading

Renamed the "CodeQL: Run Query" command to "CodeQL: Run Query on Selected Database".

See internal issue for details.

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.

@charisk charisk added the secexp label Jan 13, 2023
@charisk charisk requested a review from a team January 13, 2023 08:43
@charisk charisk requested a review from a team as a code owner January 13, 2023 08:43
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 merged commit 856e516 into main Jan 16, 2023
@charisk charisk deleted the charisk/rename-run-query-cmd branch January 16, 2023 15:48
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

Assignees

No one assigned

Labels

secexp

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@charisk @norascheuch