Skip to content

Extension Telemetry: Split runVariantAnalysis and viewAst command#2142

Merged
norascheuch merged 2 commits intomainfrom
nora/split-commands-a
Mar 10, 2023
Merged

Extension Telemetry: Split runVariantAnalysis and viewAst command#2142
norascheuch merged 2 commits intomainfrom
nora/split-commands-a

Conversation

@norascheuch
Copy link
Copy Markdown
Contributor

@norascheuch norascheuch commented Mar 7, 2023

Since we track usage behaviour by command usage at the moment, we have to use different commands for different user interactions. Each command has to be unique. Even if the underlying behaviour in the extension is identical.

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.

@norascheuch norascheuch requested a review from a team as a code owner March 7, 2023 12:24
@norascheuch norascheuch force-pushed the nora/split-commands-a branch from e99b764 to d1d473e Compare March 7, 2023 14:15
Copy link
Copy Markdown
Contributor

@elenatanasoiu elenatanasoiu left a comment

Choose a reason for hiding this comment

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

Looks good!

I had one small comment: could we make it clear the reason we're splitting these commands up is for telemetry? It's unclear from the PR description which user behaviour we mean to track.

Perhaps the PR description or the commit (or both!) can be changed to mention this.

@norascheuch norascheuch force-pushed the nora/split-commands-a branch from e9f9f71 to 7f32439 Compare March 10, 2023 08:55
@norascheuch norascheuch merged commit 83d1450 into main Mar 10, 2023
@norascheuch norascheuch deleted the nora/split-commands-a branch March 10, 2023 09:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants