If that doesn't work anymore, you could add a filter rule to Gmail or
Thunderbird. (That's what I did.)
Am 20.05.20 um 10:53 schrieb Jan Andre Ikenmeyer via dev-servo:
You could block this user: https://github.com/dependabot-bot/
Am 20.05.20 um 10:44 schrieb Anthony Ramine:
To me, the very act of having to acknowledge more email notifications
is being incurred extra work.
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo
