[julia-users] Re: installation one side of a company firewall

[Andreas Lobinger]

For clarification, i'm using now 

git config --global url."https://<GITUSERNAME>@".insteadOf git://
so including my github name for even anonymous access.

Works somehow.