There are many ways to use git with a proxy server, but for now I'll only explain how to use it using http/https and ssh protocols.
Let's see how to use git with a proxy!
Basically it works with any other proxy tool, just adjust proxycommand
attribute according to proxy tool you are using with.