From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id gDU/N22Q2F82FgAA0tVLHw (envelope-from ) for ; Tue, 15 Dec 2020 10:31:09 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id KG/lMm2Q2F9kHAAAbx9fmQ (envelope-from ) for ; Tue, 15 Dec 2020 10:31:09 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 7CC549403D6 for ; Tue, 15 Dec 2020 10:31:09 +0000 (UTC) Received: from localhost ([::1]:57374 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kp7bo-0006OU-2G for larch@yhetil.org; Tue, 15 Dec 2020 05:31:08 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:43346) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kp7bh-0006OE-Ts for guix-patches@gnu.org; Tue, 15 Dec 2020 05:31:01 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:44174) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kp7bh-000883-M8 for guix-patches@gnu.org; Tue, 15 Dec 2020 05:31:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kp7bh-00085R-J0 for guix-patches@gnu.org; Tue, 15 Dec 2020 05:31:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45104] pull: Add a "with-substitutes" option. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 15 Dec 2020 10:31:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45104 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: zimoun Received: via spool by 45104-submit@debbugs.gnu.org id=B45104.160802822531037 (code B ref 45104); Tue, 15 Dec 2020 10:31:01 +0000 Received: (at 45104) by debbugs.gnu.org; 15 Dec 2020 10:30:25 +0000 Received: from localhost ([127.0.0.1]:55720 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kp7b7-00084X-8g for submit@debbugs.gnu.org; Tue, 15 Dec 2020 05:30:25 -0500 Received: from eggs.gnu.org ([209.51.188.92]:49992) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kp7b6-00084L-Cc for 45104@debbugs.gnu.org; Tue, 15 Dec 2020 05:30:24 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:48973) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kp7b0-0007o7-Km; Tue, 15 Dec 2020 05:30:18 -0500 Received: from 225.71.114.78.rev.sfr.net ([78.114.71.225]:56374 helo=cervin) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1kp7ax-0005v9-TR; Tue, 15 Dec 2020 05:30:18 -0500 From: Mathieu Othacehe In-Reply-To: <86o8iwobva.fsf@gmail.com> (zimoun's message of "Mon, 14 Dec 2020 12:39:21 +0100") References: <87eek1vd4g.fsf@gnu.org> <87a6uohztw.fsf@cbaines.net> <877dpktzot.fsf@gnu.org> <86o8iwobva.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) Date: Tue, 15 Dec 2020 11:30:12 +0100 Message-ID: <873607fjkb.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 45104@debbugs.gnu.org Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -2.81 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 7CC549403D6 X-Spam-Score: -2.81 X-Migadu-Scanner: scn0.migadu.com X-TUID: kX/arNxJ0Rkm Hello zimoun, > As mentioned earlier, if =E2=80=9Cguix pull=E2=80=9D completes only when = substitutes is > available, then depending on the CI, the user can never complete the > =E2=80=9Cpull=E2=80=9D and so stay =E2=80=9Cblocked=E2=80=9C. There's nothing blocking in what I'm proposing. "guix pull" first asks to the CI what's the latest commit with available substitutes for "guix", and then tries to update to that commit. If it results in a downgrade then, "guix pull" detects it. The corner case where there are no commits with available substitutes is not handled, but I guess we could decide to update to the latest commit in that case. Thanks, Mathieu