Master to main

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…

Ajouter un commentaire

Comments can be formatted using the Markdown Extra syntax.

Ajouter un rétrolien

URL de rétrolien : https://open-time.net/trackback/14668

Haut de page