From debbugs-submit-bounces@debbugs.gnu.org Mon Feb 01 12:04:20 2021 Received: (at 45919-done) by debbugs.gnu.org; 1 Feb 2021 17:04:20 +0000 Received: from localhost ([127.0.0.1]:33021 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l6cce-0003Q1-GU for submit@debbugs.gnu.org; Mon, 01 Feb 2021 12:04:20 -0500 Received: from eggs.gnu.org ([209.51.188.92]:42926) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l6ccc-0003Po-8c for 45919-done@debbugs.gnu.org; Mon, 01 Feb 2021 12:04:19 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:55901) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l6ccU-00027j-9S; Mon, 01 Feb 2021 12:04:10 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=51648 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1l6ccQ-0005ZF-MG; Mon, 01 Feb 2021 12:04:08 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Pierre Neidhardt , zimoun Subject: Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile References: <20210116182957.31075-1-ludo@gnu.org> <87wnvyv7w6.fsf@gnu.org> <871re5t2lg.fsf@ambrevar.xyz> <874kizsk0z.fsf@ambrevar.xyz> <87o8h6fs1n.fsf_-_@gnu.org> <875z3dqaq5.fsf@ambrevar.xyz> <8735yfhqcd.fsf_-_@gnu.org> <87v9bbolbq.fsf@ambrevar.xyz> Date: Mon, 01 Feb 2021 18:04:05 +0100 In-Reply-To: <87v9bbolbq.fsf@ambrevar.xyz> (Pierre Neidhardt's message of "Mon, 01 Feb 2021 16:32:25 +0100") Message-ID: <87im7bk9dm.fsf_-_@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 45919-done Cc: guix-devel , 45919-done@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.7 (-) Hi! So I went ahead and pushed this patch series as 15078567c17851ef0f2b017119f305e0d5e8a140. We can always improve from here, and hopefully getting actual user feedback will help us see the pros and cons of this option. Thanks! Ludo=E2=80=99.