Re: [PATCH v2] doc: use `man git` to teach users how to navigate the docs

From: D. Ben Knoble <ben.knoble@gmail.com>
Date: Oct 6, 2026, 20:23 UTC
Message-ID: <CALnO6CCwCLEBzJiRaJp3h9b=6uF5x341NhXd+B7UfatsQmr2TA@mail.gmail.com>
In-Reply-To: <pull.2242.v2.git.1791317163584.gitgitgadget@gmail.com>

On Tue, Oct 6, 2026 at 4:06 PM Julia Evans via GitGitGadget <gitgitgadget@gmail.com> wrote:

Show 10 quoted lines

>     Changes in v2:
>
>      * mention the git help push form too
>      * mention you can get HTML docs with git help --web push at the end to
>        advertise git help's great features, and remove
>        https://git.github.io/htmldocs/git.html since
>        https://git-scm.com/docs has a nicer view and 3 different options is
>        a lot.
>      * some minor wording changes
>      * fix commit message style (doc: not [doc])

Thanks, personally I'm happy with this version.