Memo : Git

Créer une nouvelle branche à partir de la branche sur laquelle on se situe :

$ git branch -t <nouvelle_branche>

Pousser une branche local sur un dépôt distant :

$ git push origin <branche_locale>

où origin est le nom du dépôt distant, il est par défaut nommé origin mais il est possible d’en ajouter d’autre avec des noms choisis.

Supprimer une branche locale puis supprimer la branche distante :

$ git branch -d <branche> # Pour une branche complètement mergée
$ git branch -D <branche> # Pour une branche non complètement mergée
$ git push origin :<branche>