Dear Jeff,
What can we do? The simplest is to stop the transmission from
Github to the mailing list. If only a few people are bothered,
I can take them off the LLNL list. I can make either of those
changes in a few minutes, once we have a community consensus
about what to do. More complicated would be to send some
messages but not others to the mailing list. I might be able to
do that, depending what criteria we need for choosing messages.
The mailman interface lists an option that may indicate a flexible
solution:
“Which topic categories would you like to subscribe to?”
You can define a ‘Github’ topic that people can unsubscribe from (or people
are not subscribed to by default). I do not know if and how you easily you
can auto-tag (or however it is done) messages from Github. (Once that
works, you may create more Github topics so that people can fine-tune what
they get from there through the list.)
If this doesn't work, I am in favor of not sending Github messages to the
list, but asking interested people to ‘Watch’ the Github repo or selected
issues there.
Best,
Erik
