Merge pull request #3099 from srdo/fix-old-git-links

MINOR: Fix outdated links to old Git repo