Links for github-repo-manager