Git pull through a proxy

I found myself this afternoon trying to do a git pull from an internal host with a self-signed (or at least, signed by an authority I don't have locally) certificate. I also needed to do this through a proxy. This required a git incantation I hadn't come across before, and also the trusty https_proxy environment variable:

$ GIT_SSL_NO_VERIFY=true \
  https_proxy=http://proxy:3128/ \
  git pull https://self-signed.example.com/gerrit/nova refs/changes/X/Y/Z