repos now sorted by github_name on home page