/doc/bugs/Using_Github_as_remote_throws_proxy_errors/