git always uses http.proxy, not https.proxy