git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] notes: add `rm` and `delete` commands

From
Eric Sunshine <sunshine@sunshineco.com>
Date
Nov 9, 2017, 16:18 UTC
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>
Previous: Adam DinwoodieNext: Junio C Hamano
Message 2 of 4 in “notes: add `rm` and `delete` commands”
  1. notes: add `rm` and `delete` commandsAdam Dinwoodie, Nov 9, 2017
  2. Eric SunshineNov 9, 2017
  3. Junio C HamanoNov 10, 2017
  4. Adam DinwoodieNov 10, 2017

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.