Je m’étais dit ce matin que c’était le bon moment de renommer toutes les branches master
de mes dépôts Git en main
, ce que j’ai commencé à faire à grands coups de
git branch -m master main
git push -u origin main
Ou plutôt :
git branch -m master main
git push -u Github main
Vu que j’utilise Github
plutôt que origin
, c’est plus parlant pour savoir immédiatement où se trouve le dépôt distant ; j’utilise parfois aussi Gitea sur d’autres serveurs, comme pour Dotclear, Clearbricks et consorts… Ça me permet de différencier les serveurs distants.
Jusque là, pas trop de souci, ça peut s’automatiser, sauf qu’il faut ensuite modifier la branche par défaut du côté de Github et ça c’est à la mano (jusqu’à plus ample informé) et ensuite seulement on peut supprimer la branche master sur le dépôt distant :
git push Github --delete master
Alors avec pas loin d’une centaine de dépôts, j’ai pensé que je ferai ça au fur et à mesure…
1 De Nicolas Hoizey -
J’attends pour faire de même que GitHub fournisse l’outil en ligne automatisant tout ça (septembre à priori), parce qu’il faut aussi :
master
soient redirigés proprement vers la nouvelle branche2 De Franck -
Ah je ne savais pas pour l’outil en septembre, merci pour l’info Nicolas.
3 De Rik -
Tous les détails
(Je ne vois pas de déclaration pour Septembre, uniquement “later this year”)
4 De Franck -
Merci pour le lien Rik
5 De Nicolas Hoizey -
Effectivement, ça dit plutôt fin d’année, je ne sais plus où j’avais lu septembre, désolé pour la déconvenue… ;-)