“Mise à jour du clone Git local après renommée de la branche par défaut” Réponses codées

Mise à jour du clone Git local après renommée de la branche par défaut

git branch -m develop main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a