Update github-repos.md