Re: [PATCH 00/18] git notes merge
- From
Sverre Rabbelier <srabbelier@gmail.com>
- Date
- Sep 29, 2010, 14:56 UTC
- 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