|<- [[Pushing to an updated remote branch]]|[[Enabling collaboration]] ->| // lister les branches git branch -a // manière plus ancienne de supprimer une branche distante (moins intuitive) // le double-point dénote la demande de suppression git push : // explication : correspond normalement à l'alias source // et l'alias suivant le double point l'alias cible. // si l'alias source ne représente rien, on remplace // la branche distante par... rien. // manière plus récente git push --delete