Use real URLs for github ssh URLS
Merge pull request #1018 from haarg/master

Use real URLs for github ssh URLS