Merge pull request #820 from DavidS/override-repo-urls
Override repo urls
Self-merge after Community Review.