Any suggestions on how to resolve this please? Or more info i can offer? I'll wait for a reply on github otherwise. Possibly I should open a new issue rather than commenting on an old one? what's better for the devteam?
brainy-yak-78685
07/12/2023, 3:27 PM
Aha, it WAS the http_proxy. Setting no_proxy seems to have fixed it.