Thread:Talk:Gerrit/Tutorial/defaultremote = origin/reply

Yes, I think it should be ssh and you don't want two remotes.

Ori later made the killer suggestion to just tell ~/.gitconfig to rewrite the https URLs: [url "ssh://myUserName@gerrit.wikimedia.org:29418/"] insteadOf = "https://gerrit.wikimedia.org/r/mediawiki/core" I don't know if this bit of fu made it into the docs.