Sur Github, vous pouvez effectuer des pull requests pour ajouter des fonctionnalités à un projet. Les contributions doivent être sur une branche qui, si la demande est acceptée, sera fusionnée dans la branche maître (ou une branche analogue) du projet.
Maintenant, j'ai soumis une pull request sur Github et mes contributions sont sur une branche appelée patch-1
. Je peux modifier le nom de la branche localement en
git branch -m patch-1 newname
et en principe, je peux également le renommer sur mon repo fourchu sur Github en suivant les instructions trouvées dans cette réponse . Cela se fait en pratique en supprimant l'ancienne branche, patch-1
dans mon cas, et en la repoussant avec un nom différent newname
.
Est-il autorisé à renommer la branche patch-1
sur mon dépôt forké sur Github quand il s'agit d'une pull request? Ou cela pose des problèmes sur la gestion des pull request?
Existe-t-il un moyen de renommer une branche sur un référentiel forké sur Github lorsque cette branche est une pull request?
la source
git push -f
. Le PR est mis à jour avec un nouveau code entier et est toujours le «même» PR.Réponse courte:
Non
Approche alternative:
Remarque:
Le nom d'une branche distante (constituant un PR) devait changer, car le système de construction avait besoin du nom de la branche qui se termine par l'ID du ticket. Cependant, le PR a été ouvert avant la création officielle des billets (à partir des spécifications) et avait contenu de précieuses discussions. L'approche décrite était le seul moyen de faire fonctionner le système de construction et de ne pas perdre d'informations (bien qu'il y ait eu une étape supplémentaire pour le suivre).
la source