message no. 32103
Posted by Rstevoa in #github at 2014-07-24T00:25:49Z
Hi! I have a couple branches that have been merged into master and no longer need to exist. As far as I know, I can simply do a git push origin --delete oldbranch. If I happen to mess this up though, is there any way to recover it?