Convert git://github to https://github