GNU bug report logs - #76640
Request for merging "games-updates" branch

Previous Next

Full log

View this message in rfc822 format

From: Andreas Enge <andreas <at> enge.fr>
To: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Cc: 76640 <at> debbugs.gnu.org, Steve George <steve <at> futurile.net>, Greg Hogan <code <at> greghogan.com>
Subject: bug#76640: Request for merging games-updates branch
Date: Thu, 8 May 2025 13:25:14 +0200

Hello,

while I still think the different patches on this branch could go to
master directly, I have rebased on a recent master commit known to the
data service and pushed, since this branch is getting closer to the top.
I have dropped the freeciv update, as the same is already on master.

And I have added a specification to CI:
   https://ci.guix.gnu.org/jobset/games-updates

Andreas

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.