Веб-сайт https github.com открывается, но я не могу клонировать с помощью CommandLine

У меня есть эта проблема (которая уже обсуждалась во многих темах здесь), но все еще не могу найти способ решения в моем случае, https://www.github.com открывается нормально, но когда я пытаюсь clone проект из Github с помощью https, я получаю эту ошибку :

введите здесь описание изображения

Я работаю в компании, где я подключен через proxy (который определяется автоматически), мне сказали, что я должен добавить это в файл .gitconfig, я попробовал это обоими способами (git config --global ...) или вручную, записав в файл, поэтому я добавил прокси для https в файл .gitconfig:

[https] proxy = https://172.16.0.254:8080

Но у меня все еще та же проблема, что мне нужно сделать, чтобы это заработало, я ценю помощь.

PS: Пингование сайта дает мне:

Request timed out. Request timed out. Request timed out. Request timed out. Ping statistics for 192.30.252.128: Packets: Sent = 4, Received = 0, Lost = 4 (100% loss)

git github github-for-windows git-clone
person AymenDaoudi    schedule 18.11.2014    source источник
comment
Вы уверены, что ваш прокси доступен через https? Доступ к нему обычно осуществляется только через http: http://172.16.0.254:8080   -  person VonC    schedule 18.11.2014
comment
@VonC: люди, занимающиеся инфраструктурой, здесь ужасны, я объяснил им ваш комментарий, но они сказали, что этот прокси принимает и то, и другое (и я лично не разбираюсь в сетях, поэтому я действительно не могу ... есть ли что-то еще, что я могу сделать ?   -  person AymenDaoudi    schedule 18.11.2014
comment
Если он принимает оба, вы пробовали git config https.proxy = http://172.16.0.254:8080?   -  person VonC    schedule 18.11.2014
comment
Я сделал это: git config --global https.proxy 172.16.0.254:8080 и это не сработало , но я попробую и твой, и я скажу   -  person AymenDaoudi    schedule 18.11.2014
comment
Использование http://172.16.0.254:8080 позволяет избежать использования сертификатов (внутренних компаний). Вот почему доступ к прокси всегда осуществляется через http. Даже для определения https.proxy.   -  person VonC    schedule 18.11.2014
comment
@VonC: я пробовал, все равно получаю ту же ошибку.   -  person AymenDaoudi    schedule 18.11.2014
comment
Затем забудьте о конфигурации git и попробуйте (все еще с http://) с переменными среды: stackoverflow.com/a/19524910/6309   -  person VonC    schedule 18.11.2014
comment
Давайте продолжим это обсуждение в чате.   -  person AymenDaoudi    schedule 18.11.2014