Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Nov 5, 2025

Track whether checked-out PRs are authored by Copilot, matching existing behavior in pr.openDescription events.

Changes

  • src/view/reviewsManager.ts: Added isCopilot property to pr.checkout telemetry alongside existing fromDescription property
  • src/view/reviewManager.ts: Added isCopilot property to pr.checkout telemetry in the switch method
  • Both locations now check author.login === COPILOT_SWE_AGENT and send boolean as string ('true'/'false')
  • Updated GDPR telemetry comments to document the new property
  • Fixed pre-existing GDPR comment bug: fromDescriptionPagefromDescription to match actual property name

Implementation

// Pattern used (matching pr.openDescription):
this._telemetry.sendTelemetryEvent('pr.checkout', { 
  isCopilot: (pr.author.login === COPILOT_SWE_AGENT) ? 'true' : 'false' 
});
Original prompt

Just like we do with the 'pr.openDescription event, add an 'isCopilot' property for pr.checkout telemetry to track if the checked out branch is a copilot branch (we should be able to tell by the pr author)

The user has attached the following files as relevant context:

  • src/github/pullRequestOverview.ts
  • .github/copilot-instructions.md

Created from VS Code via the GitHub Pull Request extension.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI and others added 3 commits November 5, 2025 21:56
Co-authored-by: joshspicer <23246594+joshspicer@users.noreply.github.com>
Co-authored-by: joshspicer <23246594+joshspicer@users.noreply.github.com>
Co-authored-by: joshspicer <23246594+joshspicer@users.noreply.github.com>
Copilot AI changed the title [WIP] Add isCopilot property for pr.checkout telemetry Add isCopilot telemetry property to pr.checkout events Nov 5, 2025
Copilot AI requested a review from joshspicer November 5, 2025 22:07
Copilot finished work on behalf of joshspicer November 5, 2025 22:07
@joshspicer joshspicer closed this Nov 17, 2025
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