Have you used julia 1.3 behind a web proxy?

Hi all. I’ve been having the following issue which is preventing me from download packages on the 1.3 release candidates on several machines behind a work web proxy:


Has anyone else had success using 1.3 behind a proxy? It would be great to have a few people test this behind some different proxy setups to try and reproduce it, since the issue doesn’t seem to be very obvious. I’m not sure if it’s a julia bug, a libgit2 bug, or some misconfiguration on my end (though unlikely to be the latter since both machines worked fine on 1.2).