git: ignore SSL certificate, set/unset http proxy

git config --global http.sslVerify false
git config --global http.postBuffer 1048576000

git config --global http.proxy http://user:pass@proxy.server.com:3128

git config --global --unset http.proxy


Workaround for "RPC failed; curl 56 GnuTLS recv error"

mkdir proj
cd proj
git init
git remote add -f origin https://github.com/user/proj
git fetch
git checkout -B master origin/master



Reference:
https://confluence.atlassian.com/bitbucketserverkb/ssl-certificate-problem-unable-to-get-local-issuer-certificate-816521128.html
https://stackoverflow.com/questions/783811/getting-git-to-work-with-a-proxy-server
https://bugs.launchpad.net/ubuntu/+source/gnutls26/+bug/1111882