Вам следовало бы выбрать лучшие названия ветвей; вы бы избежать некоторых головных болей как этот :)
Как я понимаю, у вас есть две ветви, живущая в удаленном репозитории под названием origin
:
быстрых тест в игрушечном репо показывает, что в предположении, что origin/HEAD
не указывает на удаленную ветвь, называемую origin/dev
, команда
git push origin --delete origin/dev
действительно сделает то, что вы хотите. Чтобы было ясно, эта команда
- удалить ветвь под названием
origin/dev
, который живет в origin
удаленный репозиторий, и который связан с вашим (локальным) удаленного отслеживания ветви origin/origin/dev
.
- оставить неиспользованный филиал под названием
dev
, который находится в удаленном репо origin
, и который связан с вашей (локальной) ветвью удаленного отслеживания origin/dev
.
Многие из ваших вопросов не имеют принятого ответа. Просмотрите полученные ответы и примите/увеличьте их по мере необходимости: http://stackoverflow.com/users/2246630/bhartsb?tab=questions – Jubobs