https://cristibalan.github.io/braid/ no longer has a direct link to the repository

[mattmccutchen]

I noticed that the Braid home page (https://cristibalan.github.io/braid/) no longer has a direct link to this repository (https://github.com/cristibalan/braid). Having such a link would be a courtesy to users, who otherwise have to know that https://USER.github.io/REPO/ corresponds to https://github.com/USER/REPO or go via the RubyGems page or a web search.

I think the link used to be near the top of the page. Indeed, I see in the HTML source code of https://github.com/cristibalan/braid:

        <section id="downloads" class="clearfix">
          
	
        </section>

I assume that our GitHub Pages setup previously filled something into that section automatically but it stopped working at some point.

We'll have to decide on a reasonable fix. Obviously, we could just add a link to the repository somewhere in the README.md, though that may look a bit silly when viewed on https://github.com/cristibalan/braid itself. Or maybe we can fix the GitHub Pages configuration, although certain changes may require administrator permission on the repository, which only Cristi has.

[realityforge]

It looks like the branch has been incorrectly overridden. See https://github.com/cristibalan/braid/tree/gh-pages - it just looks like a merge occurred from master.

We should probably just add a new commit that just includes index.md and the relevant github pages files (Maybe investigate the gh-pages.pre20180222 branch?)