App becomes unresponsive while polling sessions whose PR branches were merged and deleted
Nobody has claimed this yet.
- Dominant language
- No language data
- Stars
- 2.1k
- Forks
- 157
- PR merge metrics
- No merged PRs in 30d
Description
Report from GitHub Copilot on behalf of...
Environment:
- GitHub Copilot App build 1.0.80
- Windows
- Worktree-backed project sessions
Observed behavior:
After a project session’s pull request is merged and its upstream branch is deleted, leaving that session active/unarchived appears to cause the App to continue polling it. The UI then repeatedly hangs or becomes unresponsive.
This occurred with multiple completed project sessions. The affected prior session was named 2026-09-03 (session ID 074d6dc2-7a4f-4e1d-88ca-bc7368a082c6).
Archiving the stale session and moving coordination to a clean session based on the repository’s current default branch appears to stop the problem.
Expected behavior:
When a tracked PR is merged and its branch disappears, the App should stop or safely back off polling, mark the session as completed/stale, or prompt the user to archive it. A dead upstream must not make the UI unresponsive.
Approximate reproduction:
- Create a worktree-backed project session.
- Open and merge its pull request.
- Delete the merged remote branch.
- Leave the project session active rather than archiving it.
- Continue using the App while it checks the session’s PR/branch state.
- Observe repeated UI hangs or unresponsiveness.
Impact:
The App becomes difficult or impossible to use and requires archiving the completed session or moving work into a clean successor session.
Workaround:
Archive completed sessions promptly after their PR branches are merged/deleted, then continue from a clean default-branch session.
Notes:
- This is observed as a UI hang/unresponsiveness problem; a full process crash has not been confirmed.
- Continued polling is the apparent trigger based on behavior, but logs have not yet established the root cause.
- I have not deliberately reproduced the hang again because it disrupts active work.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No source files or tests are named. Start by tracing the polling path for active worktree-backed sessions and the UI handling of merged pull requests whose remote branches were deleted; reproduce with the listed six-step sequence if possible. Done means the App no longer hangs and safely stops, backs off, marks stale, or prompts for archival when the tracked branch disappears.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- git, github
- Domain
- desktop, devtools
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 48/100