GIT¶
Gestion des branches¶
Renommer master en main¶
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a
Gestion des remotes¶
changer le repo remote¶
Last update:
February 26, 2024
Created: February 26, 2024
Created: February 26, 2024