On Thu 03 May 2012 00:04, Noah Lavine <noah.b.lav...@gmail.com> writes:
>> Yes, please remove the ‘release-1.8’ branch. >> >> Something like ‘git push origin :release-1.8’ should work (search for >> “delete” in git-push(1).) >> >> Thanks, >> Ludo’. > > Oh, I never knew how to do that. It's done now. Cool. It's pretty strange, sometimes if I want to rebase a WIP branch and push a new one, I have to first delete the old one, then push the new one, instead of sending a forced update (i.e. instead of git push origin +wip-foo). Strange things :) Cheers, Andy -- http://wingolog.org/
