github / github/app

Refresh/keep session in sync with external modifications (e.g. via VS Code)

Aperta
#1,687 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Nessun dato sulla lingua
Stelle
2.1k
Fork
153
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

### Feature summary

_No response_

### What problem are you trying to solve?

After implementing something in the app, it's common to e.g. open VS Code to tweak/review/continue manual work. The Github App session is visible inside VS Code, and can be continued there, but the changes aren't picked up back in the Github App; the latter must be restarted for it to reread the session continuation done outside in VS Code.

### Proposed solution

In an ideal world, the App would simply detect external session and show them; since that's probably complicated (two UIs working on the same copilot session), at least some way to refresh the session , similar to what a restart does would help.

### Workflow impact

_No response_

### Installation context

_No response_

### Additional context

Note slight similarity with #1205, though that issue is more about picking up **new** sessions, whereas here it's about picking up continuations of existing/known sessions.

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

L’issue non indica file, test o punti di ingresso. Inizia tracciando il modo in cui la GitHub App legge le sessioni Copilot e il modo in cui le continuazioni create in VS Code diventano visibili dopo il riavvio dell’app; il lavoro è completo quando una sessione esistente può essere aggiornata per mostrare modifiche esterne senza riavviare l’app.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
github, vscode
Ambito
desktop, developer-experience
Tipo di issue
Funzionalità
Difficoltà
5/5
Tempo stimato
Più di una settimana
Stato di attività
Tranquilla
Chiarezza
Da chiarire
Idoneità per principianti
35/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.