Skip to content

fix(github-copilot): Poll Copilot agents in Explorer autofix path#107759

Merged
JoshFerge merged 1 commit intomasterfrom
jferg/fix-copilot-explorer-polling
Feb 6, 2026
Merged

fix(github-copilot): Poll Copilot agents in Explorer autofix path#107759
JoshFerge merged 1 commit intomasterfrom
jferg/fix-copilot-explorer-polling

Conversation

@JoshFerge
Copy link
Member

@JoshFerge JoshFerge commented Feb 6, 2026

Summary

  • The Explorer autofix GET endpoint (_get_explorer) was not calling poll_github_copilot_agents(), so coding agent status and PR URLs were never fetched from GitHub
  • Regular autofix (_get_legacy) already had this polling, which is why it worked
  • Widened poll_github_copilot_agents() to accept a coding_agents dict directly (in addition to the existing AutofixState parameter) so it works with both AutofixState.coding_agents and SeerRunState.coding_agents
  • Also fixed a pre-existing mypy error on the same file (request.organization.idgroup.organization.id)

Test plan

  • All existing copilot tests pass (19/19)
  • Verify in staging that Explorer autofix correctly shows Copilot PR status

@github-actions github-actions bot added the Scope: Backend Automatically applied to PRs that change backend components label Feb 6, 2026
@JoshFerge JoshFerge closed this Feb 6, 2026
@JoshFerge JoshFerge reopened this Feb 6, 2026
The Explorer autofix GET endpoint was not polling GitHub Copilot
agents for status updates, so PR URLs and completion status were
never fetched. Regular autofix already did this polling.
@JoshFerge JoshFerge force-pushed the jferg/fix-copilot-explorer-polling branch from 4e05b82 to 6f510a0 Compare February 6, 2026 02:13
@JoshFerge JoshFerge marked this pull request as ready for review February 6, 2026 02:43
@JoshFerge JoshFerge requested a review from a team as a code owner February 6, 2026 02:43
@JoshFerge JoshFerge enabled auto-merge (squash) February 6, 2026 18:09
@JoshFerge JoshFerge merged commit 60b9619 into master Feb 6, 2026
73 checks passed
@JoshFerge JoshFerge deleted the jferg/fix-copilot-explorer-polling branch February 6, 2026 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Scope: Backend Automatically applied to PRs that change backend components

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants