githubteacher / cloaked-octo-shame

Practice repository for collecting common Git and GItHub tips
4 stars 2 forks source link

Could not resolve host: github.com with SAP-Network #40

Closed gadimelamed closed 9 years ago

gadimelamed commented 9 years ago

Hi,

I'm connected to SAP Network via BIG-IP Edge-client. on pull request I get an error: Could not resolve host: github.com

What should I configure to be able to work with github.com while connected to SAP-Network?

Thanks, Gadi

andfich commented 9 years ago

You can set the proxy in the git config: git config [--global] http.proxy proxy:8080

andfich commented 9 years ago

... and you can unset the proxy with git config --global --unset http.proxy

thojansen commented 9 years ago

yepp, proxy.

git config http.proxy http://proxy:8080
git config https.proxy http://proxy:8080
b2m9 commented 9 years ago

Maybe helpful: I wrote a little script to unset the proxy (my git global is with proxy) and I can unset the proxy with one single line

gadimelamed commented 9 years ago

@andfich Thanks! @b2m9 I'll try to use git aliases for that

githubteacher commented 9 years ago

http://stackoverflow.com/questions/128035/how-do-i-pull-from-a-git-repository-through-an-http-proxy