Pkg.add() through proxy fails on Julia 0.5, Windows

General Usage
15

I think libgit2 might not parse user credentials in the proxy setting properly.

Specifying username and password does not work for me on Julia v0.5 (libgit2). It did work on Julia v0.4 (git).

proxy = http://username:password@server:port

results in the following error on Julia v0.5:

ERROR: GitError(Code:ERROR, Class:OS, Failed to set proxy: The parameter is incorrect.)

Omitting the username and password seems to work:

proxy = http://server:port

So this is what I have now in .gitconfig in home directory. It seems to work for both Julia v0.4 and v0.5:

[url "https://github.com/"]
	insteadOf = git://github.com/
[http]
	proxy = http://server:port

Note that [https] does not seem necessary.