From mboxrd@z Thu Jan 1 00:00:00 1970 From: zimoun Subject: Re: Guix mirror: sourceware discussion report Date: Sat, 14 Dec 2019 15:29:16 +0100 Message-ID: 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]:37368) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1igEy7-0005XG-5z for guix-devel@gnu.org; Sat, 14 Dec 2019 16:28:56 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1igEy5-0008Jn-If for guix-devel@gnu.org; Sat, 14 Dec 2019 16:28:54 -0500 Received: from mail-qt1-x834.google.com ([2607:f8b0:4864:20::834]:35223) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1igEy5-0008I3-Cw for guix-devel@gnu.org; Sat, 14 Dec 2019 16:28:53 -0500 Received: by mail-qt1-x834.google.com with SMTP id e12so1889325qto.2 for ; Sat, 14 Dec 2019 13:28:48 -0800 (PST) In-Reply-To: <87d0cshxxy.fsf@nckx> 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 Hi Tobias, On Fri, 13 Dec 2019 at 19:39, Tobias Geerinckx-Rice wrote: > I've replied on IRC as well, apologies if I repeat myself. :-) It is hard to follow everything that is said on IRC. ;-) And times to times, IMO, it is necessary to report back on guix-devel what was said: the community is then aware and it is recorded (so searchable in the future if needed). > zimoun =E5=86=99=E9=81=93=EF=BC=9A > > Currently "guix pull" from Savannah and issues can arise. As we > > recently experimented. Tobias and Ricardo recently discussed how > > to > > mirror the repo. IMHO, it is a good idea to mirror but not a > > good idea > > to locate it on Ricardo infrastructure, again. :-) > > I disagree. > > I think berlin is the best place to create a simple =E2=80=98main=E2=80= =99 mirror > at this point in time. It's a simple git one-liner to keep it up > to date. In the extremely unlikely event that it breaks, many > people can fix it. Ricardo works hard but isn't responsible for > all of Berlin on his own. I agree on these lines. And we are talking about a service (mirror) easy to deploy elsewhere. But... obviously a but. :-) Correct me if I am wrong, currently, Guix mainly depends on: - the FSF guys for the main repo (Savannah) located in US. - the MDC institute located in Germany. - the build farm (Cuirass instance): ci.guix.gnu.org - the storage of substitutes (even it is mitigated with CDN) - the Mumi front-end of Debbugs: issues.guix.gnu.org - Boards here and there (Julien and now Pierre, Andreas, etc.) Well, how many people have a physical access to the MDC infrastructure? How many people are currently working for the MDC institute? To my knowledge, only Ricardo. So what will happen if Ricardo "leaves" (long vacation, change of job, bus attack, etc.). Guix should not put all the eggs in the same basket, IMHO. Therefore, this tiny service (mirror) should done elsewhere than on the machines located in Berlin. As a simple first step. > > Well, I propose to see if we can mirror on sourceware.org which > > are > > GNU friends. ;-) > > > > I took the liberty to contact them on IRC. See below. > > > > What I see is: we still "guix pull" from Savannah as usual. > > Then if Savannah is down, we catch the error and we try > > (transparently > > for the user) the sourceware url. > > By =E2=80=98we=E2=80=99, you mean the =E2=80=98guix pull=E2=80=99 command= itself, correct? Yes. Sorry. Too passionate. ;-) > Something akin to > > (channel > (name 'guix) > (url (list "https://savannah=E2=80=A6" > "https://sourceware=E2=80=A6")) > =E2=80=A6) > > ? Yes. Or built-in. Whatever. Even, talking about that, a official list of Git mirrors should be maintained and included in the manual or cookbook or website or you-name-it. > I'd like to see that added to the channels.scm format for selfish > reasons. I understand and I do not have any strong opinion. :-) Even, the channels.scm seems better than hard-coded. > 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 > guix.gnu.org has been pretty solid (AFAIK) and, more importantly, > does not require users to trust yet another party by default. I agree. I am not expert but can mirror.guix.gnu.org point to a machine located elsewhere than Berlin? > [=E2=80=98Trustable Guix pull=E2=80=99 rears its head again :-) =E2=80=A6= ] +1 > > As a first contact, they agree on the principle. Even they ask > > numbers > > about traffic etc. :-) > > I know that about 1,000 unique IPs requested substitutes on Berlin > during the month of November. Thank you for this number. Interesting. > You'll have to ask Savannah for the git stats (roughly how many > IPs ran =E2=80=98guix pull=E2=80=99), which may wildly differ (but I doub= t that). I will. :-) Thank you. All the best, simon