Make git checkout work via http instead of ssh