Я думаю о том, почему команда Git использует
git push <remote> :<branch>
как
git push origin :featureA
, чтобы удалить ветвь featureA на удаленном сервере. Мне интересно, почему сделать двоеточие как флаг удаления. Это так отличается от
git branch -d <localbranch>
Почему бы не сделать что-то вроде
git branch -d --remote origin <branchname>
или есть глубокий смысл символа двоеточия, который я никогда не знаю раньше?