// 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 <alias dépôt distant> <rien>:<alias branch à supprimer>

// explication : <rien> 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 <alias dépôt distant> --delete <alias branch à supprimer>