Как настроить Git для работы через прокси-сервер

Я хочу подключиться к GitHub на работе и мне нужно чтобы пройти через http-прокси. Я могу выйти на FTP, используя cURL, используя команду

curl -v -g --ftp-pasv --upload-file MYFILE --proxy PROXYADDRESS: PROXYPORT --proxy-ntlm --proxy-user WINDOWSDOMAIN \ WINDOWSUSER: WINDOWSPASSWORD ftp: // FTPUSER: FTPPASS @ FTPURL /

Мне пока не удалось предоставить эквивалентные настройки для Git.

Я пробовал следовать инструкциям по Использование Github через драконовские прокси под cygwin.

Я установил штопор и попытался подключиться к GitHub по SSH

ssh github.com

или

ssh ssh.github.com

Я возвращаюсь

ssh: не удалось разрешить имя хоста ssh.github.com: имя хоста или имя сервера указаны или неизвестны.

Я пробовал установить прокси http и https.

Вот результат git --config -l

core.symlinks=false
core.autocrlf=true
color.diff=auto
color.status=auto
color.branch=auto
color.interactive=true
pack.packsizelimit=2g
help.format=html
http.sslcainfo=C:/Program Files/Git/bin/curl-ca-bundle.crt
sendemail.smtpserver=/bin/msmtp.exe
diff.astextplain.textconv=astextplain
user.name=Peter Wilkinson
user.email=someemail@gmail.com
github.user=ProggerPete
github.token=shouldprobablykeepthissecret
http.proxy=http://somedomain\someuser:somepass@10.167.116.142:80
https.proxy=http://somedomain\someuser:somepass@10.167.116.142:80

Я также запустил

export https_proxy=http://somedomain\someuser:somepass@10.167.116.142:80
export http_proxy=http://somedomain\someuser:somepass@10.167.116.142:80
set https_proxy=http://somedomain\someuser:somepass@10.167.116.142:80
set http_proxy=http://somedomain\someuser:somepass@10.167.116.142:80

, а затем пытаюсь клонировать и получаю.

$ git clone https://ProggerPete@github.com/project/JavaScript-Maven-Plugin.git
Cloning into JavaScript-Maven-Plugin...
Password:
error: The requested URL returned error: 407 while accessing https://ProggerPet
@github.com/project/JavaScript-Maven-Plugin.git/info/refs

fatal: HTTP request failed

Мне кажется, что я не могу пройти аутентификацию через прокси. Однако я использую тот же логин и пароль, который работает для FTP через cURL.

Как я могу подключиться?