Gerrit/HTTPS

Pushing to Gerrit over HTTPS can be useful when your wifi blocks gerrit's 29418 port.

First, add it as a remote:

Get an HTTPS password from https://gerrit.wikimedia.org/r/#/settings/http-password

Make your changes, and push!

git-credential-store is how to store your passwords and don't type them in every time.