bug#25975: Use HTTPS in `guix pull`

[ng0]

Marius Bakke transcribed 1.3K bytes:
> Ludovic Courtès <address@hidden> writes:
> 
> > Marius Bakke <address@hidden> skribis:
> >
> >> From 61bf52ff461e8a53175546928bd4ee41645bb5ca Mon Sep 17 00:00:00 2001
> >> From: Marius Bakke <address@hidden>
> >> Date: Wed, 1 Mar 2017 22:11:02 +0100
> >> Subject: [PATCH] pull: Default to HTTPS.
> >>
> >> * guix/scripts/pull.scm (%snapshot-url): Use HTTPS.
> >> (guix-pull): Authenticate against LE-CERTS when URL is from Savannah.
> >
> > LGTM!
> >
> > I changed the configury and doc in
> > 1dbe3a8db0a3e5a8e5f9b30e6f6a6bbfb699275b so that GnuTLS is a hard
> > dependency.
> 
> Ok, thanks!
> 
> I've pushed this patch. Let the bug reports roll in! :-)

Ok, native GuixSD worked just fine.