Links for github-repository-manager