On Mon, Oct 01, 2018 at 01:21:07PM +0200, Rasmus Villemoes wrote: > This documents the existing behaviour of "git help cmd" when cmd is an > alias, as well as providing a hint to use the "git cmd --help" form to > be taken directly to the man page for the aliased command. Good idea. > diff --git a/Documentation/git-help.txt b/Documentation/git-help.txt > index 83d25d825a..37e85868fd 100644 > --- a/Documentation/git-help.txt > +++ b/Documentation/git-help.txt > @@ -29,6 +29,10 @@ guide is brought up. The 'man' program is used by default for this > purpose, but this can be overridden by other options or configuration > variables. > > +If an alias is given, git prints a note explaining what it is an alias > +for on standard output. To get the manual page for the aliased > +command, use `git COMMAND --help`. Funny English: "what it is an...". Maybe: If an alias is given, git shows the definition of the alias on standard output. To get the manual page... -Peff
