Re: [PATCH v7 4/5] command-list.txt: drop the common tag
From: Eric Sunshine <hidden>
Date: 2016-06-15 23:04:47
On Fri, May 15, 2015 at 2:35 PM, Sébastien Guimmara [off-list ref] wrote:
The parser generate-cmdlist.awk gathers all group information without needing the common tag.
This might leave the reader wondering why the "common" tag was there
in the first place. I probably would have written it this way:
command-list.sh, retired in the previous patch, was the only
consumer of the "common" tag, so drop this now-unnecessary
attribute.
before:
git-add mainporcelain common worktree
after:
git-add mainporcelain worktreewhich makes this example effectively unnecessary (plus, the patch itself already says the same thing).
quoted hunk ↗ jump to hunk
Helped-by: Eric Sunshine [off-list ref] Signed-off-by: Sébastien Guimmara <redacted> ---diff --git a/command-list.txt b/command-list.txt index c00b0b6..2203566 100644 --- a/command-list.txt +++ b/command-list.txt@@ -11,30 +11,30 @@ remote collaborate (see also: git help workflows) # List of known git commands. # command name category [deprecated] [common] [commands] -git-add mainporcelain common worktree +git-add mainporcelain worktree