Leo Famulari <l...@famulari.name> skribis: > On Wed, Aug 03, 2016 at 06:42:34PM +0200, Ludovic Courtès wrote: >> I think you should start from the pre-merge ‘core-updates-next’, sign >> commits that are unsigned (I thought Manolis signed them all on the last >> rebase?), then merge, and finally push. > > Unfortunately, signing old commits causes subsequent history to be > rewritten, and the subsequent signatures are lost. I would have to > re-sign commits all the way back to June (for aebd383). And Git users' > local history would become invalid.
Yeah, but despite lacking the ‘wip-’ prefix as we usually do, this branch was “rebaseable”, so I think it’s OK. Hopefully that will no longer happen in the future. > I think we are hitting something like the problem I warned about here: > http://lists.gnu.org/archive/html/guix-devel/2016-07/msg01220.html Yes, that’s annoying, but it’s a one-time transitional cost. Thanks! Ludo’.
