Use real URLs for github ssh URLS