- J'ai fait quelques changements
- J'ai soumis une demande d'extraction
- La demande d'extraction a été acceptée et fusionnée.
- Nous avons trouvé un bug
- Les modifications ont été supprimées à nouveau pendant que j'ai corrigé le bogue.
J'ai maintenant corrigé le bogue et je veux resoumettre la demande d'extraction avec 1 commit supplémentaire. Existe-t-il un moyen de rouvrir la demande d'extraction ou de la mettre à jour, ou dois-je créer une nouvelle demande d'extraction, taper à nouveau la description, etc.? Gitorious a cette fonctionnalité et nous sommes récemment passés à GitHub.
github
merge
pull-request
Michael Parker
la source
la source
Réponses:
La réponse semble être: vous ne pouvez pas.
Une fois qu'une demande d'extraction est fusionnée et fermée, elle est verrouillée pour toujours et ne peut pas être rouverte. Si votre pull request est fusionné, fermé, alors vos modifications sont retirées (via une poussée vers l'arrière avant la fusion), vous devrez ajouter des commits à la branche et créer une nouvelle pull request, en copiant tous les détails et en fournissant probablement un lien vers la demande d'extraction d'origine pour enregistrer manuellement l'historique.
Cela pourrait être une belle demande de fonctionnalité pour le futur GitHub.
la source
Je viens de rouvrir avec succès une demande d'extraction par
la source
Dérivez simplement une nouvelle branche de la branche existante où vous avez effectué 1 commit supplémentaire. À partir de là, soumettez la demande d'extraction.
la source
Vous pouvez utiliser l'action de retour:
Cela créera une autre demande d'extraction annulant toutes les modifications apportées dans le PR fusionné.
la source