ERROR: failed to clone from GitHub

General Usage
,
1

I suddenly can’t add packages from github, for example:

(jl_WqeLMM) pkg> add https://github.com/JuliaPolyhedra/Polyhedra.jl#master
     Cloning git-repo `https://github.com/JuliaPolyhedra/Polyhedra.jl`
ERROR: failed to clone from https://github.com/JuliaPolyhedra/Polyhedra.jl, error: GitError(Code:ERROR, Class:HTTP, invalid URL: 'socks5://127.0.0.1:7890')
2

Looks like the problem reported (and solved) here:

1 Like
3

Thank you. But I tried the command git config --global --get http.proxy and got no output.