Using source code URIs with HTTP basic auth

[Thompson, David]

I'm trying to download a source tarball from a private server that
happens to use HTTP basic auth.  I tried doing the usual
"https://user:address@hidden/foo.tar.gz"; but it doesn't seem to
work.  This URI format works just fine when doing authenticated Git
downloads.  Does anyone know what is needed to make this work?
AFAICT, the code in (guix build download) does indeed carry along the
"userinfo" as it manipulates the URI.

Thanks,

- Dave