Git und Proxy unter Windows.

Um Git (msysgit) unter Windows durch einen Proxy durchzubohren, erstellt man im Git Unterordner bin eine Textdatei mit dem Inhalt:

@echo off

set CONNECT=connect.exe
set PROXY=PROXYADDRESS:PROXYPORT

"%CONNECT%" -H %PROXY% %*

und ersetzt dort PROXYADDRESS und PROXYPORT gegen den zu durchbohrenden Proxy und speichert die Datei als bat ab, beispielsweise proxy.bat.
Dann führt man in der Git Bash Shell im Git Hauptordner folgenden Befehl aus:

git config --global core.gitproxy proxy.bat

Das wars.

Mit

git ls-remote git:://ADDRESS/REPO.git

kann man dann testen ob die Verbindung durchgeht, wobei natürlich ADDRESS und REPO durch das gewünschte Repository ersetzt werden müssen.