[coreboot] separate mailling list for gerrit mails?

[Patrick Georgi]

Hi,

this came up on IRC again, but I think the issue requires wider discussion:
Several people asked if gerrit mails can be moved to a separate mailing
list to reduce the "mechanic" noise.

We're highly flexible there, so we can keep it like it is, reduce the
number of mail types, send different types to different lists, ...

One proposal was to move all gerrit mail to coreboot-gerrit@ or so.
A variant of that could be to move all gerrit mail to coreboot-gerrit@
except for the "change merged to master" mails, so people have an easier
overview on what happens in our main branch.

So asking generally: Do you like it the way it is, or do you think it
should change, and how?

Patrick