Using https:// instead of git://, since the later won't work in certain places.