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