Есть ли разница между "git push -d remote branch" и "git push remote: branch"

Question

Существует два способа удалить удаленную ветку в Git:

git push -d remote branch
git push remote :branch

Интересно, есть ли разница. Насколько я понимаю, первая команда явно указывает Git удалить ветку (-d - сокращение от --delete), а вторая команда - это особая форма push remote [[+]ref:]ref, но это не объясняет различия, если таковые имеются.

Answer 1

Они одинаковы. Это объясняется в Документация git-push .

-d

- delete

Все перечисленные ссылки удаляются из удаленного репозитория. Это то же самое, что префикс всех ссылок с двоеточием.