Git remote changer la branche par defaut
Par PlaceOweb le lundi, septembre 30 2019, 18:22 - Système - Lien permanent
Changer ou actualiser la branche remote par défaut :
$ git remote set-head origin -a
origin/HEAD set to integration
Lister les branches remote
$ git branch -r
origin/HEAD -> origin/master
Mettre à jour la branche
$ git remote set-head origin -a
origin/HEAD set to integration
La création ou mise à jour est effective
$ git branch -r
origin/HEAD -> origin/integration
Source : Git branch named origin/HEAD -> origin/master
set-head Sets or deletes the default branch for the named remote. With -a or --auto, the remote is queried to determine its HEAD. With -d or --delete, the symbolic ref refs/remotes/<name>/HEAD is deleted.