Не в состоянии пропинговать github.com с прокси

Question

Я установил прокси для моего git, но я не могу пропинговать github.com, используя его в моем Git Bash. (ошибка: время истекло)

Тем временем я могу обратиться к github.com по Chrome, который также использует тот же прокси.

Answer 1

ping не (и не может) использовать прокси.