list polluted by gitbox messages

[Prashant Deva]

seems like every bit of activity on gitbox is being posted to the dev
mailing list. its impossible to see any real messages since all i see are
gitbox mails.

Prashant