The type of proxy to use.
Try to auto-detect the proxy from the git configuration.
Do not attempt to connect through a proxy.
Connect via the URL given in the options.
The type of proxy to use.