From: Sverre Rabbelier <srabbelier@gmail.com>
Date: Wed, 29 Sep 2010 14:56:28 GMT
Subject: Re: [PATCH 00/18] git notes merge
Message-ID: <AANLkTi=gL_6ueBvO7URth-rbbHyZLpwYEAMwErh1ciba@mail.gmail.com>
In-Reply-To: <1285719811-10871-1-git-send-email-johan@herland.net>

Heya,

On Wed, Sep 29, 2010 at 02:23, Johan Herland <johan@herland.net> 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'. I know that there's no 'git merge
--abort', but IIRC that's for technical reasons only.

-- 
Cheers,

Sverre Rabbelier