GNU bug report logs - #76311
Request for merging "kernel-team" branch

Previous Next

Full log

View this message in rfc822 format

From: Andreas Enge <andreas <at> enge.fr>
To: Leo Famulari <leo <at> famulari.name>
Cc: 76311 <at> debbugs.gnu.org, Christopher Baines <mail <at> cbaines.net>
Subject: [bug#76311] Request for merging "kernel-team" branch
Date: Tue, 13 May 2025 15:43:53 +0200

Hello,

the branch has been almost built, and I did not see major problems
anymore. Adding an ungrafting commit would restart the whole process
from scratch again. So at this point in time, I think it would be
preferable to push the branch to master, and then maybe do a separate
ungrafting round. The total build effort would now be the same, and it
would give the other teams a chance to get their changes in.

What do you think?

Andreas

Previous Next

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