From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark H Weaver Subject: Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) References: <20181203154335.10366-1-ludo@gnu.org> Date: Mon, 03 Dec 2018 18:44:43 -0500 In-Reply-To: <20181203154335.10366-1-ludo@gnu.org> ("Ludovic \=\?utf-8\?Q\?Cou\?\= \=\?utf-8\?Q\?rt\=C3\=A8s\=22's\?\= message of "Mon, 3 Dec 2018 16:43:35 +0100") Message-ID: <8736re41kp.fsf@netris.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org, guix-patches@gnu.org List-ID: Hi Ludovic, 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? Also, who owns the guixsd.org domain? Thanks, Mark