Cette version de GitHub Enterprise Server n'est plus disponible depuis le 2023-09-25. Aucune publication de correctifs n’est effectuée, même pour les problèmes de sécurité critiques. Pour de meilleures performances, une sécurité améliorée et de nouvelles fonctionnalités, effectuez une mise à niveau vers la dernière version de GitHub Enterprise. Pour obtenir de l’aide sur la mise à niveau, contactez le support GitHub Enterprise.

Changement du nom d’une branche

Dans cet article

Vous pouvez changer le nom d’une branche dans un dépôt.

Qui peut utiliser cette fonctionnalité

People with write permissions to a repository can rename a branch in the repository unless it is the default branch or a protected branch. People with admin permissions can rename the default branch and protected branches.

À propos du changement du nom des branches

Vous pouvez renommer une branche dans un référentiel sur votre instance GitHub Enterprise Server. Pour plus d’informations sur les branches, consultez « À propos des branches ».

Quand vous renommez une branche sur votre instance GitHub Enterprise Server, toutes les URL contenant l’ancien nom de la branche sont automatiquement redirigées vers l’URL équivalente pour la branche renommée. Les stratégies de protection de branche sont également mises à jour, ainsi que la branche de base pour les demandes de tirage ouvertes (y compris pour des duplications) et les mises en production à l’état Brouillon. Si la branche renommée est la branche de tête d’une demande de tirage ouverte, cette demande de tirage est fermée.

Une fois le changement de nom terminé, GitHub fournit des instructions sur la page d’accueil du dépôt qui invite les contributeurs pour mettre à jour leurs environnements Git locaux.

Si les URL de fichiers sont automatiquement redirigées, les URL de fichiers bruts ne sont pas redirigées. Par ailleurs, GitHub n’effectue aucune redirection si les utilisateurs effectuent une opération git pull pour le nom de branche précédent.

Les workflows GitHub Actions ne suivant pas les changements de nom, si votre dépôt publie une action, toute personne utilisant cette action avec @{old-branch-name} rencontrera une interruption. Vous devriez envisager d’ajouter une nouvelle branche avec le contenu d’origine, ainsi qu’un rapport de validation supplémentaire indiquant que le nom de la branche est déconseillé, et suggère aux utilisateurs de migrer vers le nouveau nom de la branche.

Changement du nom d’une branche

  1. Dans votre instance GitHub Enterprise Server, accédez à la page principale du dépôt.

  2. Au-dessus de la liste des fichiers, cliquez sur Branches.

    Capture d’écran de la page du dépôt. Un lien, intitulé « 55 branches », est mis en évidence avec un encadré orange.

  3. À côté de la branche que vous voulez renommer, cliquez sur .

    Capture d’écran d’une branche dans la liste des branches. Une icône représentant un crayon est mise en évidence avec un encadré orange.

  4. Tapez un nouveau nom pour la branche.

  5. Révisez les informations relatives aux environnements locaux, puis cliquez sur Renommer la branche.

Mise à jour d’un clone local après le changement de nom d’une branche

Après que vous avez renommé une branche dans un dépôt sur GitHub Enterprise Server, tout collaborateur disposant d’un clone local du dépôt doit mettre à jour le clone.

À partir du clone local du dépôt sur un ordinateur, exécutez les commandes suivantes pour mettre à jour le nom de la branche par défaut.

git branch -m OLD-BRANCH-NAME NEW-BRANCH-NAME
git fetch origin
git branch -u origin/NEW-BRANCH-NAME NEW-BRANCH-NAME
git remote set-head origin -a

Si vous le souhaitez, exécutez la commande suivante pour supprimer les références de suivi à l’ancien nom de la branche.

git remote prune origin