Eu configurei um proxy para meu git, mas não consigo executar ping em github.com usando-o em meu Git Bash. (erro: tempo limite)
Enquanto isso, posso acessar github.com pelo chrome, que também usa o mesmo proxy.
Responder1
pingnão (e não pode) usar um proxy.