Links for de-git-repo-manager