2015-11-13 4:22 GMT+02:00 Chad <innocentkiller(a)gmail.com>om>:
Considering ~50% of subscribers weren't even using the list, and
we only have 130 remaining subscribers between the two, who would
be terribly upset at closing one or both of these lists?
It would break my workflow of following all merged commits. I have the
following filters:
list:"mediawiki-commits.lists.wikimedia.org" -{"Gerrit-MessageType:
merged"}
--> Delete
list:"mediawiki-commits.lists.wikimedia.org" "Gerrit-MessageType:
merged"
--> Apply tag
-Niklas