Follow up from T259148.
When a push notification provider API provides a response indicating that a token or subscription is invalid or expired, the service should make a request to the MediaWiki API to delete that push subscription.
See the API docs at api.php?action=help&modules=echopushsubscriptions%2Bdelete as updated once https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Echo/+/619570 lands. (That module should probably also be updated to accept batched deletion requests.)
AC
- The bot secrets are added to production environment