[Dune] Dune-commit

[Jö Fahlke]

Hi!

I twiddled around with the setting for <dune-commit at dune-project.org> a bit to
avoid the likelihood of non-commit mails ending up there instead of
<dune at dune-project.org>.  In particular the changes are:

 * Set an explicit Reply-To: header to <dune at dune-project.org>.

 * Posts from any member of <dune-commit at dune-project.org> are now moderated,
   and new members are automatically marked to be moderated as well.

 * Commit messages are explicitly allowed based on the domain of the sender
   (this is actually unchanged from before, just mentioned for clarity).

 * All moderated posts as well as posts from non-members are automatically
   rejected with a notice to please use <dune at dune-project.org> instead.

If you experience any problems with this, feel free to blame me.

Bye,
Jö.

-- 
Warum die Sonne verboten werden sollte: http://www.bastiat.de unter
"Petition".
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 828 bytes
Desc: Digital signature
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20110608/3f062c63/attachment.sig>