On Sun, Nov 04, 2018 at 04:01:32PM -0500, Leo Famulari wrote:
> On Sun, Nov 04, 2018 at 01:26:23PM -0700, Brian Woodcox wrote:
> > Your right.
> > 
> > I think port 9418 needs to be open.
> > 
> > So scratch that one from the list.
> > > 
> > >> On 2018-11-04 16:41, Brian Woodcox wrote:
> > >> This is my last error while installing GuixSD 0.15.0.
> > >> 
> > >> So rsgj5syf4azvg4y80gqbr94gr4i9226y-guix-artwork-6998d30-checkout.drv is trying to download git clone git://git.savannah.gnu.org/guix/guix-artwork.git
> 
> We should probably make it fetch over HTTPS, since port 443 can
> typically be assumed to be open.

Ludovic and I raced to make this change — he won with commit
688d1a01e45eb1277a6337987bfd53f3fe3caaec

:)