On 05/17/2014 11:38 AM, Enrico Forestieri wrote:
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?
It's safe to do that, if there's nothing in 2.0.x that you want. Which,
I take it, there is not.
Richard
