HTTPプロキシーを通したhttpsなGitリポジトリーへのアクセス方法

どうもいつも忘れがちなので書いておく。

$ cat ~/.gitconfig
[http]
 proxy = http://USERNAME:PASSWORD@10.1.1.1:8080