Potentially useful, since I've used proxies before in a different manner. However what I'm more inclined to do is simply compile up a version of git from sourc

Potentially useful, since I've used proxies before in a different manner. However what I'm more inclined to do is simply compile up a version of git from source, ensure it includes the HTTPS transport, and links against an appropriate TLS/SSL library. I used to build it from source years ago (on a different platform). The git protocol approach was simply to avoid that hassle, as used correctly it is safe enough.