[FIXED JENKINS-20252] git ignores “no proxy” settings