I tend to use the https URLs for git remotes here, as sometimes you find that the git port is filtered on production systems. Might not be a problem for us though, so let's try it.