Update repoindex.html