Fixes the bug where multiple git repos get lumped together on index.html

Thanks to @seanherron for finding this bug.