Re: `man 1 git`: Invalid link to online documentation

[Jeff King <peff@peff.net>]

On Mon, Jun 06, 2016 at 07:19:36PM -0400, Jeff King wrote:

>   2. Make git-htmldocs a real site on GitHub. I think this should be as
>      simple as pushing to the `gh-pages` branch of the repository, which
>      would make it available as https://gitster.github.io/git-htmldocs.
>      You can do a bunch of Jekyll magic, but you don't have to; it should
>      serve arbitrary html files (though I think we'd maybe want to add
>      an "index.html"; we may also want to host it under a git/htmldocs
>      project just to make the repo more official looking).

Just to make sure I wasn't spewing nonsense, I tried pushing the tip of
gitster/git-htmldocs to the "gh-pages" branch of git/htmldocs, and
indeed:

  https://git.github.io/htmldocs/git.html

now works. If we like that solution, Junio, you should already have
access to just push there (instead of gitster/git-htmldocs, or in
addition to if you prefer).

If not, I'll delete the repository (I don't plan on doing further
pushes, so leaving it will just confuse people).

I see that we _do_ have an index.html symlink in the built tree, but it
does not seem to actually work via GitHub Pages.

-Peff