From: Eric Sunshine <sunshine@sunshineco.com>
Date: Thu, 09 Nov 2017 16:18:01 GMT
Subject: Re: [PATCH] notes: add `rm` and `delete` commands
Message-ID: <CAPig+cRq7thrPtzS0V6o-wMhHyYWKeWg-xOQhnWCO5sLE=kDcw@mail.gmail.com>
In-Reply-To: <20171109134617.65244-1-adam@dinwoodie.org>

On Thu, Nov 9, 2017 at 8:46 AM, Adam Dinwoodie <adam@dinwoodie.org> wrote:
> Add `git notes rm` and `git notes delete` as alternative ways of saying
> `git notes remove`.

The justification for this change seems to be missing from the commit message.

One can formulate arguments for the change:

    - "rm" & "delete" more intuitive for Unix and DOS users
    - for consistency with git-<fill-in-blank> command(s)
    - ...

or against the change:

    - synonym bloat; balloons documentation
    - steals command verbs from potential future features
    - ...

> Signed-off-by: Adam Dinwoodie <adam@dinwoodie.org>