github / github/app

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

Ouverte
#1,687 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
Langage dominant
Aucune donnée de langage
Étoiles
2.1k
Forks
153
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

### 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.

Guide de contribution

Ouvrir le guide de contribution

Piste de recherche

L’issue ne mentionne aucun fichier, test ou point d’entrée. Commencez par suivre la manière dont la GitHub App lit les sessions Copilot et dont les continuations effectuées dans VS Code deviennent visibles après un redémarrage de l’application ; le travail est terminé lorsqu’une session existante peut être actualisée pour afficher les changements externes sans redémarrer l’application.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
github, vscode
Domaine
desktop, developer-experience
Type d'issue
Fonctionnalité
Difficulté
5/5
Temps estimé
Plus d'une semaine
Activité
Calme
Clarté
À clarifier
Accessibilité débutants
35/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.