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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
