From mboxrd@z Thu Jan 1 00:00:00 1970 From: Meiyo Peng Subject: Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) Date: Tue, 04 Dec 2018 11:40:03 +0800 Message-ID: <875zwaufho.fsf@gmail.com> References: <20181203154335.10366-1-ludo@gnu.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]:33958) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gU1ZL-00017P-BP for guix-devel@gnu.org; Mon, 03 Dec 2018 22:40:20 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gU1ZH-0001Qp-FU for guix-devel@gnu.org; Mon, 03 Dec 2018 22:40:19 -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") 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: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org Hi Ludo, Ludovic Court=C3=A8s writes: > For the domain name I initially wanted =E2=80=9Cci.guix.gnu.org=E2=80=9D = but we failed > to set that up. Oh well, I think that=E2=80=99s OK. I don't think ci.guix.info is a suitable name for our default substitute server. You may think I paranoid, but if I accidentally find out ci.guix.info is my default substitute server, I will be cautious and verify it's integrity. Let's use a subdomain of gnu.org. If you encounter any obstacles while setting up the system, we'd like to help. -- Meiyo Peng