How to use the git protocol through a HTTP CONNECT proxy – Thoughts on Systems