Является ли имя ветки с префиксом двоеточия своего рода псевдонимом для git push--удалять?

Question

Запускает команду типа $ git push origin :remote-branch ярлык для git push <remote-name> --delete <remote-branch-name>

Answer 1

Да.С man git-push:

Формат git push <repository> <refspec>, с <refspec>, описанным следующим образом:

<refspec>
       Specify what destination ref to update with what source object. 
       The format of a <refspec> parameter is an optional plus +, followed
       by the source object <src>, followed by a colon :, followed by
       the destination ref <dst>.

Затем:

Нажав пустую <src>, вы можете удалить ссылку <dst> из удаленного репозитория.