Changer la branche par défaut de votre dépôt GitHub est généralement simple, mais cela peut s’avérer un peu compliqué si vous n’êtes pas familier avec l’interface ou les commandes Git. Il arrive que le paramètre de la branche par défaut ne soit pas modifié immédiatement après un changement de nom local ou un push de la modification ; c’est là que les choses se compliquent, surtout si tout le monde travaille sur la mauvaise branche. Nous espérons que cela clarifiera le processus et vous évitera de jongler avec plusieurs sources ou de vous perdre dans les paramètres. En résumé, l’objectif est que la branche par défaut soit la seule cible des nouvelles pull requests, ce qui permet de tout garder en ordre, surtout si vous passez de la branche principale à la branche principale ou si vous changez de branche principale.
Comment changer la branche par défaut sur GitHub ?
Méthode 1 : modifier la branche par défaut via le site Web GitHub
Le faire directement sur l’interface web de GitHub est généralement la méthode la plus simple. C’est pratique pour s’assurer que tout le monde démarre de la même page et éviter de télécharger la mauvaise branche. Ceci s’applique si vous avez déjà renommé la branche localement et l’avez poussée, mais que le paramètre par défaut pointe toujours vers l’ancienne.
- Ouvrez votre dépôt sur GitHub.
- Cliquez sur Paramètres dans la barre de menu supérieure — elle se trouve généralement sur le côté droit, après l’onglet Insights.
- Accédez aux succursales dans le menu latéral gauche.
- Sous Branche par défaut, cliquez sur l’icône crayon/modifier.
- Sélectionnez la nouvelle branche (par exemple, main ) dans la liste déroulante. Si elle n’apparaît pas, vérifiez que vous l’avez correctement déployée.
- Cliquez sur Mettre à jour et confirmez.
La branche par défaut de votre dépôt pointe désormais vers celle que vous avez sélectionnée. Dans certaines configurations, la propagation peut prendre une seconde, ou vous devrez peut-être actualiser la page. Si cela ne résout pas le problème, voici ce qui pourrait se produire :
Méthode 2 : modifier la branche par défaut à l’aide des commandes Git
Si vous travaillez dans un terminal et préférez pousser depuis celui-ci, vous pouvez renommer/déplacer des branches localement et pousser ces modifications. N’oubliez pas qu’il s’agit de mettre à jour votre branche locale et de la pousser, puis de modifier les valeurs par défaut sur le site web de GitHub pour qu’elles correspondent. C’est un peu étrange, mais c’est ainsi que fonctionne GitHub.
- Ouvrez votre terminal (ou PowerShell, selon ce à quoi vous êtes habitué).
- Accédez à votre dossier de dépôt, comme `
cd path/to/your/repo`. - Si vous renommez une branche existante comme
master,mainprocédez comme suit :
git branch -m master main Cela renomme la branche localement. Ensuite, poussez la branche renommée et définissez-la en amont :
- Poussez la nouvelle branche sur GitHub et définissez-la comme en amont :
git push -u origin main - Maintenant, supprimez l’ancienne branche de la télécommande pour éviter toute confusion, mais seulement si vous êtes sûr :
git push origin --delete master Remarque : Assurez-vous d’avoir déjà modifié le paramètre de branche par défaut sur GitHub, car celui-ci ne gère que votre côté local. Il arrive que la valeur par défaut distante ne soit pas mise à jour immédiatement ; actualisez donc la page après l’envoi. Revenez ensuite aux paramètres et confirmez que la branche par défaut pointe vers main.
Pourquoi s’embêter à changer la branche par défaut ?
Bonne question ! Si vous vous demandez pourquoi quelqu’un passerait de master à main, c’est principalement pour adopter un langage plus inclusif. De plus, si vous réorganisez votre dépôt ou passez à une nouvelle branche comme ligne de développement principale, en faire la valeur par défaut permet d’orienter les nouvelles pull requests exactement là où elles doivent aller. De plus, c’est plus clair et moins déroutant pour les nouveaux contributeurs.
FAQ
Vous devez le renommer localement avec git branch -m master main, le pousser avec git push -u origin main, supprimer l’ancienne branche distante avec git push origin --delete master, puis mettre à jour la branche par défaut dans les paramètres GitHub. C’est un peu un esquive, mais ça marche.
Non. L’ancienne branche est conservée, sauf si vous la supprimez manuellement. Donc, si vous souhaitez un nouveau départ, pensez à la supprimer ensuite.
Oui, bien sûr. Les requêtes d’extraction et le clonage sont effectués par défaut sur la branche principale. Prévenez donc votre équipe avant de les activer afin que tout le monde soit sur la même longueur d’onde.
Tout à fait. Il suffit de retourner dans les paramètres GitHub et de sélectionner l’ancienne branche par défaut. Rien de grave.
Conclure
Changer votre branche par défaut n’est pas très compliqué une fois qu’on a pris le coup de main. Sur le web, cela se fait en quelques clics, et avec les commandes Git, c’est un peu plus pratique, mais toujours gérable. N’oubliez pas : après chaque modification, actualisez votre page GitHub pour voir la dernière configuration et vérifiez que vos pull requests ciblent la bonne branche. Espérons que cela vous évitera bien des soucis ; j’ai travaillé sur plusieurs configurations ici.
Résumé
- Vérifiez si votre branche locale est renommée et poussée correctement.
- Mettre à jour la branche par défaut sur GitHub via Paramètres > Branches.
- Retirez les vieilles branches si nécessaire, mais soyez prudent.
- Informez votre équipe des changements si vous travaillez en collaboration.