Ignore bluecoat proxy ssl
Bluecoat proxy uses a man in the middle attack to monitor https connections. Git does not like that and will throw an ssl verification error:
$ git pull fatal: unable to access 'https://gitlab.com/ron.smits/javafxspielerei.git/': SSL certificate problem: unable to get local issuer certificate
This can be ignored by using
git config http.sslVerify false
Do not do this lightly!!!