from https://github.com to git://github.com