From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 04 11:26:00 2018 Received: (at 33600) by debbugs.gnu.org; 4 Dec 2018 16:26:00 +0000 Received: from localhost ([127.0.0.1]:60842 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gUDWG-0002go-Tb for submit@debbugs.gnu.org; Tue, 04 Dec 2018 11:26:00 -0500 Received: from sender-of-o53.zoho.com ([135.84.80.218]:21768) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gUDWE-0002ge-52 for 33600@debbugs.gnu.org; Tue, 04 Dec 2018 11:25:55 -0500 ARC-Seal: i=1; a=rsa-sha256; t=1543869521; cv=none; d=zoho.com; s=zohoarc; b=ie20HCqg2WakLI1akmEIpvmuL/odb5cbufExWQ+NcLw6SDNK18d2qB+O8VKaQ0vdVvMB2OLvEFhwIxG9Pjlp3TV3ZBAmAVWqq4dBrg+TDlaxKZO9b/R+IXc1T60LR81rtMo2YYYkAdyL8Pt//6e7X0NtfKL95RJt8Q+qwpCsp88= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1543869521; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results; bh=juOQKP4f6YYVhgxxdQ0P2YrkGsJoka1h5WEdcPCY6a0=; b=oeKMSlMbwwkD5CZ1OE5o5VAPxRH/4HX+zYxdIn/BZ3PPX/67SGoBm7s5a+CNl1Ly6vvkyw6UC4wAqQuN1/taLfiRaxXSjnfACiZzL5ol4Kq577pKgk3/iI9iRBOiMz6tgiejVx/4oJl8botegKISyKld5N4crpzNu9CpLZu/6Do= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1543869521; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding; l=517; bh=juOQKP4f6YYVhgxxdQ0P2YrkGsJoka1h5WEdcPCY6a0=; b=K5IPM7PWx3b7qEu+48FRhEUGYAaC9n4q7SdmsOlR4fPoQF76PuGp8JtRoGqJNoZx CdUMG0oJyy9c3heLwlDMYkTBchgQQVbeH7OOK8TsyMvOVK1NeczpUwzUe1XhEwpShJJ 81czRjq6+rbr37J9J3gthLbP167SzoNtmSqL/s6o= Received: from localhost (p578E70E4.dip0.t-ipconnect.de [87.142.112.228]) by mx.zohomail.com with SMTPS id 1543869520918106.88025801024708; Mon, 3 Dec 2018 12:38:40 -0800 (PST) References: <20181203155335.10629-1-ludo@gnu.org> <20181203155335.10629-3-ludo@gnu.org> User-agent: mu4e 1.0; emacs 26.1 From: Ricardo Wurmus To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [PATCH 3/3] build: Default to https://ci.guix.info for substitutes. In-reply-to: <20181203155335.10629-3-ludo@gnu.org> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Mon, 03 Dec 2018 21:38:36 +0100 Message-ID: <871s6yibw3.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 33600 Cc: guix-devel@gnu.org, 33600@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Ludovic Court=C3=A8s writes: > * doc/guix.texi (SUBSTITUTE-SERVER): Switch to ci.guix.info. [=E2=80=A6] > diff --git a/doc/guix.texi b/doc/guix.texi > index d96c35eace..a5ae1c65e6 100644 > --- a/doc/guix.texi > +++ b/doc/guix.texi > @@ -14,7 +14,7 @@ > @set KEY-SERVER pool.sks-keyservers.net >=20=20 > @c The official substitute server used by default. > -@set SUBSTITUTE-SERVER ci.guix.info > +@set SUBSTITUTE-SERVER mirror.hydra.gnu.org Is this really correct? --=20 Ricardo