Git: Supprimer la succursale en local et en télécommande
// Delete branch locally
% git branch -D <branch-name>
// Delete branch remotely
% git push origin --delete <branch-name>
Sore Sardine