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?