From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: Re: Guix mirror: sourceware discussion report Date: Thu, 19 Dec 2019 17:42:37 +0100 Message-ID: <878sn8nu6a.fsf@gnu.org> References: <87d0cshxxy.fsf@nckx> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:43822) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ihysr-0001xR-6k for guix-devel@gnu.org; Thu, 19 Dec 2019 11:42:42 -0500 In-Reply-To: <87d0cshxxy.fsf@nckx> (Tobias Geerinckx-Rice's message of "Fri, 13 Dec 2019 19:39:37 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Tobias Geerinckx-Rice Cc: guix-devel@gnu.org Hi! Tobias Geerinckx-Rice skribis: > Something akin to > > (channel > (name 'guix) > (url (list "https://savannah=E2=80=A6" > "https://sourceware=E2=80=A6")) > =E2=80=A6) > > ? > > I'd like to see that added to the channels.scm format for selfish > reasons. Yup, that=E2=80=99d be nice. > However, I'd still like the first or second URL to start with > =E2=80=98guix.gnu.org=E2=80=99. I have nothing against Sourceware, but g= uix.gnu.org > has been pretty solid (AFAIK) and, more importantly, does not require > users to trust yet another party by default. > > [=E2=80=98Trustable Guix pull=E2=80=99 rears its head again :-) =E2=80=A6] Yeah=E2=80=A6 I discussed this a bit with an in-toto/TUF person at the R-B Summit and I=E2=80=99m wrapping my head again around it now, because clearl= y, this is the main showstopper here. Once this is addressed, at least to some level, we can happily mirror on all the hosting sites we can think of. Anyway, thank you zimoun for contacting the Sourceware folks, and thanks Tobias & Ricardo for setting up the mirror on berlin! Ludo=E2=80=99.