From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <guix-devel-bounces+larch=yhetil.org@gnu.org>
Received: from mp11.migadu.com ([2001:41d0:8:6d80::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by ms5.migadu.com with LMTPS
	id 8K4XEsDrFWO0swAAbAwnHQ
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Mon, 05 Sep 2022 14:29:52 +0200
Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by mp11.migadu.com with LMTPS
	id aBZCEsDrFWPAfgAA9RJhRA
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Mon, 05 Sep 2022 14:29:52 +0200
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 2225E1F571
	for <larch@yhetil.org>; Mon,  5 Sep 2022 14:29:52 +0200 (CEST)
Received: from localhost ([::1]:45800 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	id 1oVBEc-0004vw-Pn
	for larch@yhetil.org; Mon, 05 Sep 2022 08:29:50 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:53612)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@tobias.gr>) id 1oVAin-0003Yt-KJ
 for guix-devel@gnu.org; Mon, 05 Sep 2022 07:56:57 -0400
Received: from tobias.gr ([2a02:c205:2020:6054::1]:48610)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@tobias.gr>)
 id 1oVAik-00068c-W3; Mon, 05 Sep 2022 07:56:56 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=qQPgOBTMoUNOT
 IMv/UHoiRnzsz9F5Dket9Z30V0cBE0=;
 h=in-reply-to:date:subject:cc:to:
 from:references; d=tobias.gr; b=JEvAy+NC9MxbKnMTRVI5cJV3nzDTiYjCobi1Bf
 s57xk24lt8EcgtSkCiTS+YvEraKUue3DdB9Ila0JUS2aW8DMMFq4VIkvA2JnUYrcECfhCx
 BHszF7ZSITI7c6Ekk42J6G4+PAT9DREI4yKe4mCdpbaVqNPKsoEfNnQgkudlGiRmUOGcb7
 kQwOcgMk0VhShiGZD1jXVrFSM0y5Wz63YnUzk2CEOIO9ymtbkziP0HCQrQQF0dlaMDPgtw
 CFcWHBJqlnm2THJZLJiUwgJa/1vhqIC+yPOI9fKFf45hews9it9KB9sykexrm1LambhH13
 FoPyG+dL7mAKMfovui8xd1QQ==
Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 4533b40c
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); 
 Mon, 5 Sep 2022 11:56:44 +0000 (UTC)
References: <87tu6idfgd.fsf@trop.in> <87ilm5x64a.fsf@gnu.org>
 <87czcaxpsi.fsf@trop.in> <87tu5m4065.fsf@gnu.org>
From: Tobias Geerinckx-Rice <me@tobias.gr>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: Andrew Tropin <andrew@trop.in>, guix-devel@gnu.org, Efraim  Flashner
 <efraim@flashner.co.il>
Subject: Re: [POSTMORTEM] Subkey is not authorized by .guix-authorizations
Date: Mon, 05 Sep 2022 13:50:41 +0200
In-reply-to: <87tu5m4065.fsf@gnu.org>
BIMI-Selector: v=BIMI1; s=default;
Message-ID: <87a67e825e.fsf@nckx>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha512; protocol="application/pgp-signature"
Received-SPF: pass client-ip=2a02:c205:2020:6054::1; envelope-from=me@tobias.gr;
 helo=tobias.gr
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: guix-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+larch=yhetil.org@gnu.org>
X-Migadu-Flow: FLOW_IN
X-Migadu-To: larch@yhetil.org
X-Migadu-Country: US
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org;
	s=key1; t=1662380992;
	h=from:from:sender:sender:reply-to:subject:subject:date:date:
	 message-id:message-id:to:to:cc:cc:mime-version:mime-version:
	 content-type:content-type:in-reply-to:in-reply-to:
	 references:references:list-id:list-help:list-unsubscribe:
	 list-subscribe:list-post:dkim-signature;
	bh=qQPgOBTMoUNOTIMv/UHoiRnzsz9F5Dket9Z30V0cBE0=;
	b=t8nYeCc/I58/gjZhRhsdzRQ9cxCWHzWUArn2TXpZ/UnH26byHCJI5oeJBvwjvxD78aPDTw
	yCjDPTNLNHJHQuONf6j4/3bOyALZayslf8e9FkAd0gG3sBNU6gfERaibGd0kWwmxV3WB8M
	anMH4zbeL+6Z1nc/MPNfmu3ZE3lTCVqs2BsA6v6HyqzbauzDDVU+8GZBqfnO83pNLkLAjx
	Al+ESa6yKXMeZIjq49ZT6SblP1hv+fLhrOsmJ7xAjyaMfizOtnKHELT9hSPPJZM7OYYi4x
	JfoQPsfpzE4+Ikprq1chvFQzQTD9Nfm3Pec2w/S57sHZrhQGOvIQOQhQz6xlbg==
ARC-Seal: i=1; s=key1; d=yhetil.org; t=1662380992; a=rsa-sha256; cv=none;
	b=ogAX90OrwevMMFIzdK+3xr/mEWjmKieYzkMhGc8NnBCDLh8hXt/FIPeg4QkFWvJAg7xhYA
	O4q7DYyZKdkCV2BfvygWoyVCtACxyZEg3DWXqT/92sR7y0WnMFwR1rFcZPY3qj9v/vPrAV
	ibDJC51+5asPjj2I1gHdTTReOjXIzdhl1S2H/fmr+XE8zQ2HMlq6a84U1oQ1uq6oOkHdYK
	5QP9Y6v2DjwmitpDJ91OrPxd0FW69NMVV+NUIV1TG6I1EYoGjt6NMwsF6NhLLP9VgdT+pz
	X9fvbDlk9TNHBrx9l+3/7Gh7Q4sGv9YskEN0Oj5RsDIgP7byf+ilSvXwFZgmhA==
ARC-Authentication-Results: i=1;
	aspmx1.migadu.com;
	dkim=pass header.d=tobias.gr header.s=2018 header.b=JEvAy+NC;
	dmarc=pass (policy=reject) header.from=tobias.gr;
	spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"
X-Migadu-Spam-Score: -3.87
Authentication-Results: aspmx1.migadu.com;
	dkim=pass header.d=tobias.gr header.s=2018 header.b=JEvAy+NC;
	dmarc=pass (policy=reject) header.from=tobias.gr;
	spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"
X-Migadu-Queue-Id: 2225E1F571
X-Spam-Score: -3.87
X-Migadu-Scanner: scn1.migadu.com
X-TUID: A+AZavahB6lV

--=-=-=
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: quoted-printable

Ludovic Court=C3=A8s =E5=86=99=E9=81=93=EF=BC=9A
> I=E2=80=99m busy these days so I=E2=80=99d rather not commit to starting =
a=20
> discussion on
> this, but I=E2=80=99d suggest testing waters on #savannah on IRC.

They weren't wild about it.  We'd be asking for a lot from their=20
perspective.  I haven't given up on convincing them otherwise, but=20
an alternative approach would be to write a minimum viable=20
verifier (the machine has Guile \o/ although it might need=20
updating), and then just regularly pull the guix repository as=20
(keyring) data, without executing any of its code.

Kind regards,

T G-R

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCYxXkHQ0cbWVAdG9iaWFz
LmdyAAoJEA2w/4hPVW15j4sA/jAD9VfYXsniARxyhVnMM7dm9cov95a/EuF21uqD
E/slAQDiWtO0op9JZE+G0L1ealQqfLVEb/ZDwU1uO6LnkCz8Dg==
=iTpU
-----END PGP SIGNATURE-----
--=-=-=--