Blogulaire de Claneys
  • À propos
  • Contact

Git

Notes techniques et expérimentations d'un SRE — Kubernetes, Linux, et divers

#Import 2023-08-15 20:39

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>

  • Romain Forlot
Romain Forlot 28 June 2013 • 1 min read
Blogulaire de Claneys © 2013
Latest Posts Hugo Casper3 by Jonathan Janssens