Hi All, Should we split logback-dev into logback-dev and logback-notifications so as to increase the signal to noise ratio on logback-dev? The logback-notifications list would notifications sent by github, jira and jenkins. Comments welcome. -- Ceki 65% of statistics are made up on the spot