Skip to content

Split up codeQLQueryHistory.openQuery command#2178

Merged
robertbrignull merged 1 commit intomainfrom
robertbrignull/split-commands/codeQLQueryHistory.openQuery
Mar 15, 2023
Merged

Split up codeQLQueryHistory.openQuery command#2178
robertbrignull merged 1 commit intomainfrom
robertbrignull/split-commands/codeQLQueryHistory.openQuery

Conversation

@robertbrignull
Copy link
Copy Markdown
Contributor

Splits up the codeQLQueryHistory.openQuery command so we don't use the same command from more than one location. This makes our telemetry better because we can tell how users are interaction with features. It's ok to rename these commands because they are not visible to users in 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.
  • [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.

@robertbrignull robertbrignull requested a review from a team as a code owner March 15, 2023 16:55
@robertbrignull robertbrignull merged commit 9045253 into main Mar 15, 2023
@robertbrignull robertbrignull deleted the robertbrignull/split-commands/codeQLQueryHistory.openQuery branch March 15, 2023 17:12
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.

2 participants