icedtea push commit changeset messages

[Mark Wielaard]

Hi Gary,

On Thu, 2009-08-27 at 14:06 +0100, Gary Benson wrote:
> Can you not make them come from the email address of the committer?
> Everyone ought to be subscribed to distro-pkg-dev right?

It is the pusher of the changeset, not the committer. Almost always they
are the same. But the change was done to show that doesn't have to be
the case. You could push a commit authored by someone else for example
to backport it to a release branch. And this also makes clear that you
can push commits for people who don't have push rights (yet).

But yes, everybody that pushes to the repo ought to be subscribed to the
mailinglist indeed. But we don't know with which email address. If we
could be certain of that address, then we could synthesize a server-side
~/.hgrc for them with that address. Then the emails would look like they
come from that address instead.

I rather have the push messages come from the actual hg server account
though. Just to make sure they all go through. Making them look like
they actually come from some other address might twart some smtp server
that obey SPF records.

Cheers,

Mark