What's the `git+https` about? I've only seen one or the other, not both. *curious*