Point to the github repos from /repos.html.