Changes tab does not update after the session's PR is merged
Nessuno ha ancora preso questa issue.
- Lingua principale
- Shell
- Stelle
- 11.2k
- Fork
- 1.9k
- Merge medio
- 14h 16m
- PR unite (30g)
- 6
Descrizione
Describe the bug
In the Copilot desktop app (Tauri), a session's Changes tab does not appear to refresh after the session's pull request is merged on GitHub. The tab continues to reflect the pre-merge state instead of updating to the new reality (merged branch / updated base).
Note: this report is about the desktop app UI, not the CLI itself — filed here as the reachable public tracker; please reroute if there is a dedicated app repo.
Affected version
Desktop app ~1.1.14 (inferred from ~/.copilot/data.db.pre-update-backup-1.1.14-*); embedded CLI reports version 1.0.80.
Steps to reproduce the behavior
- Open a worktree-backed project session on a feature branch with changes.
- Create a PR from the session and merge it on GitHub while the session stays open.
- Return to the session and open the Changes tab.
- Observe that the view still shows the pre-merge state; it does not update after the merge.
Expected behavior
After the session's PR merges, the Changes tab refreshes — e.g., recomputes the diff against the updated default branch (or shows an appropriate post-merge state) without requiring manual intervention.
Additional context
- OS: macOS (Darwin, ARM).
- Session type: worktree-backed, branch created and pushed by the session; PR merged via the GitHub web UI.
- Possibly related: inside the session, the branch is not auto-updated after merge either (
git fetch/merge origin/mainhad to be run manually), so the tab may be diffing against a stale merge-base. - Reported by the session's user mid-workflow and relayed by the agent; happy to pull logs (
--log-level/--log-file) if you tell me which ones help.
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Inizia dalla scheda Changes dell’app desktop Tauri e dal percorso di aggiornamento del pull-request/branch della sessione, usando la configurazione macOS basata su worktree segnalata per riprodurre la vista obsoleta dopo un merge su GitHub. Traccia quando la scheda si aggiorna e come viene aggiornato il merge-base; il lavoro è completato quando la scheda mostra lo stato post-merge senza richiedere comandi fetch o merge manuali.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- git, github, tauri
- Ambito
- desktop
- Tipo di issue
- Bug
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Stato di attività
- Attiva
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 48/100