Warum benutzt Git
git push <remote> :<branch>
wie in
git push origin :featureA
den Zweig featureAvom Remote-Server löschen ?
Mich interessiert, warum der Doppelpunkt als Löschflag verwendet wurde.
Es ist so anders als git branch -d <localbranch>.
Warum machen wir so etwas nicht?
git branch -d --remote origin <branchname>
oder gibt es eine tiefere Bedeutung hinter dem Doppelpunktsymbol, die ich nicht kannte?
git push origin --delete foobar