Joined November 2012
Gopher jha gray

Jens Hausherr

Senior Software Engineer at XING AG
Senior Software Engineer
Ahrensburg, Germany

Posted to Removing a remote branch in git over 1 year ago

Actually it is not that obscure, it's more like
"git push origin <nothing>:branch".
But it tends to be not that obvious in the beginning ;)

141 Karma
5,073 Total ProTip Views