Don't think version was the problem
Git protocol is blocked, so use HTTPS always

This may have some problems with https authentication, so we'll have to
see whether we need to authenticate.