Шалаш инженера

Долго не мог понять, почему git -r -d branchname не приводит к желаемому результату. Оказалось, надо делать так: git push origin :branchname

Вот я сейчас как почищу удалённую сторону 🙂

Ссылки:

• http://gitready.com/beginner/2009/02/02/push-and-delete-branches.html