Чому використовує Git
git push <remote> :<branch>
як і в
git push origin :featureA
видалити гілку featureAз віддаленого сервера?
Мене цікавить, чому двокрапка використовувалася як прапор видалення.
Це так відрізняється від git branch -d <localbranch>.
Чому б нам не зробити щось подібне
git branch -d --remote origin <branchname>
чи є за символом двокрапки глибший зміст, якого я не знав?
git push origin --delete foobar