From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) Date: Tue, 04 Dec 2018 15:11:35 +0100 Message-ID: <87mupl1iw8.fsf@gnu.org> References: <20181203154335.10366-1-ludo@gnu.org> <87lg565v6f.fsf@aminb.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]:44234) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gUBQP-0007RE-Uu for guix-devel@gnu.org; Tue, 04 Dec 2018 09:11:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gUBQP-0001mX-9t for guix-devel@gnu.org; Tue, 04 Dec 2018 09:11:45 -0500 In-Reply-To: <87lg565v6f.fsf@aminb.org> (Amin Bandali's message of "Mon, 03 Dec 2018 13:20:24 -0500") 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: Amin Bandali Cc: guix-devel@gnu.org Hi Amin, Amin Bandali skribis: >> 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. > > What was the failure about, if you don=E2=80=99t mind me asking? I=E2=80= =99m > curious if there might be a way to salvage it. I initially proposed to delegate subdomain handling for guix.gnu.org on the machine that guix.gnu.org currently points to (aka. =E2=80=9Cbayfront= =E2=80=9D). To do that we=E2=80=99d need to coordinate with the FSF sysadmins and someone DNS-savvy (i.e., not me :-)) should amend the configuration at to have a Knot service or similar. If you=E2=80=99d like to help, that=E2=80=99d be great! Ludo=E2=80=99.