Nicht mehr benötigte remote branches können mit einer etwas seltsam anmutenden Syntax gelöscht werden:
$ git push origin :[unneeded-branch]
Man beachte den Doppelpunkt vor dem Branch ( „[unneeded-branch]“ durch den Namen des Branches ersetzen, der gelöscht werden soll).
Heisst der Branch „version1“ dann lautet der Befehl:
git push origin :version1
Soll der gleiche Branch nur lokal gelöscht werden:
$ git branch -D version1