Skip to content

Split up the codeQLQueryHistory.removeHistoryItem command#2177

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

Split up the codeQLQueryHistory.removeHistoryItem command#2177
robertbrignull merged 1 commit intomainfrom
robertbrignull/split-commands/codeQLQueryHistory.removeHistoryItem

Conversation

@robertbrignull
Copy link
Copy Markdown
Contributor

Splits up the codeQLQueryHistory.removeHistoryItem 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.

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:13
@robertbrignull robertbrignull merged commit 04c24d0 into main Mar 15, 2023
@robertbrignull robertbrignull deleted the robertbrignull/split-commands/codeQLQueryHistory.removeHistoryItem branch March 15, 2023 16:54
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