Proposal: redirect GitHub comments to a separated mailing list

[Martin Desruisseaux]

Hello all

I saw that each comment we write on a GitHub issue cause a mail to be 
sent to this "dev@…" mailing list. I'm afraid that we may lost 
subscribers because of that generated traffic. If there is no objection, 
I propose to redirect this traffic to a separated mailing list:

 * An "issues@sis…" mailing list if I can create it.
 * To the existing "commits@sis…" mailing list otherwise.

Is there any comments?

    Martin