Я установил прокси-сервер для своего git, но не могу выполнить ping github.com, используя его в своем Git Bash. (ошибка: тайм-аут)
В то же время я могу зайти на github.com через Chrome, который также использует тот же прокси.
решение1
pingне используйте (и не можете) прокси-сервер.