From: Jeff King <peff@peff.net>
Date: Mon, 06 Jun 2016 23:25:37 GMT
Subject: Re: `man 1 git`: Invalid link to online documentation
Message-ID: <20160606232536.GA23537@sigill.intra.peff.net>
In-Reply-To: <20160606231936.GB22756@sigill.intra.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