Github mit Proxy unter Windows nutzen

Falls ihr ein Github-Repository per HTTPS unter Windows clonen wollt und dazu einen Proxy nutzen müsst, dann hilft euch vielleicht folgender Tipp:

git config --global --add http.sslverify false
export http_proxy=http://euer.proxy:1234
export https_proxy=http://euer.proxy:1234
git clone https://euer.host/repo.git

Ohne die Variable https_proxy war bei mir kein clonen möglich, ausserdem bekam ich einen Fehler bei der Validierung des Zertifikats - das wird mit dem Config-Eintrag in der ersten Zeile ignoriert.