Как удалить ветку Git и локально, и удаленно?

Я хочу удалить ветку и локально, и удаленно из проекта на GitHub.
Локально удаляется
> git branch -D feature/experiment > Deleted branch feature/experiment (was 863225e).
Попытки удалить ветку на сервере
> git branch -d origin/feature/experiment error: branch 'origin/feature/experiment' not found. > git branch -rd origin/feature/experiment Deleted remote branch origin/feature/experiment (was 863225e). > git pull * [new branch] feature/experiment -> origin/feature/experiment
Непонятно, что означает "Deleted remote branch", если на самом деле ветвь не была удалена? Последующая команда pull показывает это.
Что нужно делать, чтобы удалить ветвь и локально, и на сервере?

Ответ

В Git v1.7.0, вы можете удалить удалённую ветку, используя
git push origin --delete
что легче запомнить, чем
git push origin :
добавленное в Git v1.5.0 "чтобы удалить удалённую ветку или метку".
Оригинал