Re: [QUESTION] Pushing patches.

[Ralf Wildenhues]

* Stefano Lattarini wrote on Thu, Jul 15, 2010 at 08:59:17PM CEST:
> At Thursday 15 July 2010, Ralf Wildenhues wrote:
> > * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST:
> > Bruno prefers the former style, but maybe he accepts a patch to
> > optionally keep the style of the latter even upon rebasing.

> Well, I don't have a copyright assignement for Gnulib, and moreover 
> the souce code of git-merge-changelog.c is beyond me ATM... of were 
> you saying that you intend to write such a patch yourself?

No time for such endeavors ATM, sorry.

> > I tend to just run another rebase -i to remove the extra
> > headers again,

> That's what I usually did too, but for longer patch series it
> is tedious, error-prone, and spoils the git-merge-changelog
> user experience.

Agreed.

> > or ignore the issue.

> If it's OK with you, this is what I'd like to do :-)

Why not just send a bug report to bug-gnulib, since you already have a
reproducer?

Cheers,
Ralf