On Sat, May 17, 2014 at 05:09:54PM +0200, Enrico Forestieri wrote: > > Most probably, I have also to issue a "git -d 2.0.x" to completely > get rid of the thing. For good measure, I will also perform some > propitiatory rite...
Argh! Wrong rite, apparently: $ git br -d 2.0.x error: The branch '2.0.x' is not fully merged. If you are sure you want to delete it, run 'git branch -D 2.0.x'. May I really issue "git br -D 2.0.x" and not be involved in solving a next problem? -- Enrico
