Côté serveur : git push --delete origin branchname
En local : git branch -d branchname
Ensuite : git remote prune origin
Et côté serveur... pour toutes les branches mergées : git branch -r --merged | grep -v master | sed 's/origin\///' | xargs -n 1 git push --delete origin
Côté local : git branch --merged | egrep -v "(^*|master|dev)" | xargs git branch -d
Enfin : git remote prune origin