On Wednesday 29 September 2010, Sverre Rabbelier wrote: > On Wed, Sep 29, 2010 at 02:23, Johan Herland wrote: > > ÂAlternatively, the user can call 'git notes merge --reset' to > > abort the notes merge. > > I'm torn, but I think that since we actually can here, we should call > it 'git notes merge --abort'. Yeah, I'm torn as well. What about providing both? Or is that bloat? > I know that there's no 'git merge --abort', but IIRC that's for > technical reasons only. Maybe there _should_ be a 'git merge --abort' (as a synonym to 'git reset --merge')? ...Johan -- Johan Herland, <johan@xxxxxxxxxxx> www.herland.net -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html