Re: [dev-servo] Should we use Dependabot?

2020-05-20 Thread 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


Re: [dev-servo] Should we use Dependabot?

2020-05-20 Thread Jan Andre Ikenmeyer via dev-servo
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