update git links
Merge pull request #10204 from shmatov/update-git-links

Update github links