On Thu, Nov 9, 2017 at 8:46 AM, Adam Dinwoodie <[email protected]> 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 <[email protected]>
