Am Fri, Dec 12, 2025 at 05:44:51PM +0100 schrieb Simon Josefsson via Development of GNU Guix and the GNU System distribution.: > https://gitlab.com/debdistutils/guix/mirror/-/commits/master?ref_type=HEADS > I understand force pushing is sometimes needed, but is there any policy > on this for Guix?
In this case, by accident we ended up with a commit on HEAD of master that was not properly signed (more precisely, for which the key was not properly added to the keyring branch). So it lacked authentication, and the (almost only, but certainly most reasonable) way of obtaining authenticated checkouts again was forcefully removing it. The last good commit was: commit e7671c02a472ea4f8815b1638403e8697dd6d633 Author: Cayetano Santos <[email protected]> Date: Wed Dec 10 08:36:29 2025 +0100 gnu: open-logic: Update to 4.2.0. * gnu/packages/electronics.scm (open-logic): Update to 4.2.0. Change-Id: I4370f3289b4d1f0d2a5beb8897b04bf3f51535b0 I repushed the offending commit (which materially was good) with my signature as: commit 21f0be1aa341dd2cb6722a069375030e714fc046 Author: Noé Lopez <[email protected]> Date: Fri Oct 24 08:27:32 2025 +0200 etc: manifests: Add important packages manifest for release. For now, the packages are from the online form sent in <https://lists.gnu.org/archive/html/guix-devel/2025-10/msg00091.html>. Going forwards, more packages can be added manually or if there are more answers to the form. * etc/manifests/release-user-packages.scm: New file. * Makefile.am: Add it. Change-Id: I2d619ab9d307a6ea216310d1c86a1dc71feb1523 Signed-off-by: Rutherther <[email protected]> Signed-off-by: Andreas Enge <[email protected]> The state of your branch is exactly with this commit, but with the unverifiable signature. It stayed on master only very shortly, but maybe we should in such a case nevertheless make an official announcement on the devel list? For all purposes, I am exceptionally signing this message. Andreas
signature.asc
Description: PGP signature
