[Dune] Dune-commit

[Oliver Sander]

Hi Jö!
Thanks you very much for that!  I have been annoyed frequently by not being
able to reply to commit mails.
--
Oliver

Am 08.06.2011 23:40, schrieb 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ö.
>
>
>
>
> _______________________________________________
> Dune mailing list
> Dune at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune