The commands I listed above where I try to git config --global http.proxy are the same thing as the answers to the stackoverflow question (I had actually referred to it before posting). The IE settings my company provides don't seem to be enough (and IT support is essentially unhelpful).
On Sat, Jan 10, 2015 at 10:00 AM, Steven G. Johnson <[email protected]> wrote: > So you have a firewall that is blocking http? Do they force you to use > an http proxy? See > > > http://stackoverflow.com/questions/128035/how-do-i-pull-from-a-git-repository-through-an-http-proxy > > on setting up git to use your http proxy (e.g. copy the settings from your > web browser). > > On Friday, January 9, 2015 at 5:47:39 PM UTC-5, John Hall wrote: >> >> Tried before. Doesn't work. >> >> On Fri, Jan 9, 2015 at 5:23 PM, Steven G. Johnson <[email protected]> >> wrote: >> >>> On Friday, January 9, 2015 at 4:56:29 PM UTC-5, John Hall wrote: >>>> >>>> I've seen both the git manual and the https/git workaround before. >>>> Neither seem to work. >>>> >>> >>> If you do "git clone" manually from the command line with an https or >>> http URL, does it work? It would be good to diagnose the specific problem. >>> >> >>
