From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) Date: Tue, 04 Dec 2018 06:55:14 +0100 Message-ID: <87va49hm4d.fsf@elephly.net> References: <20181203154335.10366-1-ludo@gnu.org> <8736re41kp.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:49970) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gU5L5-0005VK-Tv for guix-devel@gnu.org; Tue, 04 Dec 2018 02:41:52 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gU5L1-0000gK-V5 for guix-devel@gnu.org; Tue, 04 Dec 2018 02:41:51 -0500 Received: from sender-of-o52.zoho.com ([135.84.80.217]:21352) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gU5L1-0000eK-AL for guix-devel@gnu.org; Tue, 04 Dec 2018 02:41:47 -0500 In-reply-to: <8736re41kp.fsf@netris.org> 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: Mark H Weaver Cc: guix-devel@gnu.org, 33600@debbugs.gnu.org Hi Mark, > Ludovic Court=C3=A8s writes: > >> These patches (actually the last one) switch Guix to default to >> for substitutes, in preparation for the >> upcoming 0.16.0 release (hopefully this week!). > > Who owns the guix.info domain? I registered it and offered it to Guix Europe (though we aren=E2=80=99t yet sharing administration of the domain). -- Ricardo From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:46839) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gU3hk-0001VJ-Hm for guix-patches@gnu.org; Tue, 04 Dec 2018 00:57:11 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gU3he-0002w4-Vh for guix-patches@gnu.org; Tue, 04 Dec 2018 00:57:08 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:55433) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gU3he-0002vT-C4 for guix-patches@gnu.org; Tue, 04 Dec 2018 00:57:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gU3he-0007ze-3s for guix-patches@gnu.org; Tue, 04 Dec 2018 00:57:02 -0500 Subject: [bug#33600] [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) Resent-Message-ID: References: <20181203154335.10366-1-ludo@gnu.org> <8736re41kp.fsf@netris.org> From: Ricardo Wurmus In-reply-to: <8736re41kp.fsf@netris.org> Date: Tue, 04 Dec 2018 06:55:14 +0100 Message-ID: <87va49hm4d.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Mark H Weaver Cc: guix-devel@gnu.org, 33600@debbugs.gnu.org Hi Mark, > Ludovic Court=C3=A8s writes: > >> These patches (actually the last one) switch Guix to default to >> for substitutes, in preparation for the >> upcoming 0.16.0 release (hopefully this week!). > > Who owns the guix.info domain? I registered it and offered it to Guix Europe (though we aren=E2=80=99t yet sharing administration of the domain). -- Ricardo