Git proxy commands to work with the VPN