Supprimer une branche distante

git push origin --delete ma-branche

# Nettoyer ensuite les références locales obsolètes
git fetch --prune