Friendlier https:// instead of git://