github / github/app

[General] Provide more clarity on what changes have been pushed

Ouverte
#1,120 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
General
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

After making a change and raising a pull request and then making further changes it is hard to tell if the latest commits were pushed

### What problem are you trying to solve?

I made some changes with the agent then had it raise a PR to Azure DevOps, there was an issue with a UT and so I then requested additional changes in Github Copilot app. One time it made them, committed, and pushed, another time it committed but did not push.

### Proposed solution

Having a git viewer tab or in the changes view of the review panel it has the "committed" "uncommitted", having some indication of pushed would be really helpful.

### Workflow impact

Anyone updating an existing PR is impacted. Having to open terminal to look at git log or opening the pull request to double check that all the changes were pushed can lead to frustration.

### Installation context

_No response_

### Additional context

_No response_

Guide de contribution

Ouvrir le guide de contribution

Piste de recherche

Aucun fichier ni test n’est nommé ; commencez par localiser la vue des modifications ou le panneau de revue, ainsi que son affichage d’état existant pour les modifications commitées/non commitées. Suivez la manière dont l’application détermine si les commits ont été poussés, puis vérifiez que l’UI distingue clairement les modifications poussées de celles qui sont seulement commitées.

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

Évaluation

Stack technique
git, github
Domaine
desktop, developer-experience, tooling
Type d'issue
Fonctionnalité
Difficulté
4/5
Temps estimé
3-5 jours
Activité
Calme
Clarté
Plutôt claire
Accessibilité débutants
42/100

Recevez les nouvelles issues par e-mail

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