Switch to git:// protocol because https doesn't seem to work that well