Change Details

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.)

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

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