Я пробовал оба, используяexport http_proxy=http://[username]:[pwd]@[proxy] а такжеgit config --global http.proxy http://[username]:[pwd]@[proxy].

Я не мог заставить это работать. Похоже, git использует обычную аутентификацию:

Initialized empty Git repository in /home/.../.git/
* Couldn't find host github.com in the .netrc file, using defaults
* About to connect() to github.com port 8080 (#0)
*   Trying 10.... * Connected to github.com (10....) port 8080 (#0)
* Proxy auth using Basic with user '...'
> GET http://github.com/sunlightlabs/fiftystates.git/info/refs HTTP/1.1
Proxy-Authorization: Basic MD...
User-Agent: git/1.6.1.2
Host: github.com
Pragma: no-cache
Accept: */*
Proxy-Connection: Keep-Alive

< HTTP/1.1 407 Proxy Authentication Required ( The ISA Server requires authorization to fulfill the request. Access to t
he Web Proxy filter is denied.  )
< Via: 1.1 ...
< Proxy-Authenticate: Negotiate
< Proxy-Authenticate: Kerberos
< Proxy-Authenticate: NTLM
< Connection: Keep-Alive
< Proxy-Connection: Keep-Alive
< Pragma: no-cache
< Cache-Control: no-cache
< Content-Type: text/html
< Content-Length: 4118
* The requested URL returned error: 407
* Closing connection #0
fatal: http://github.com/sunlightlabs/fiftystates.git/info/refs download error - The requested URL returned error: 407

Поиск Google дал смешанные и, вероятно, не обновленные результаты. Где-то это говорит о том, чтоcurl используется (был?) под капотом, но его опции (были?) встроены в код. Например,

curl --proxy-ntlm --proxy ...:8080 google.com

работает, и я хотел бы использовать ту же опцию с git.

Мне нужны более точные ответы: кому-нибудь удалось использовать git через прокси Windows? Какая версия?

Благодарю.