Page MenuHomePhabricator

Create a push subscription manager user on metawiki for push subscription deletion
Closed, ResolvedPublic

Description

Follow-up from the token expiration/removal spike (T259148). This can be done anytime after the MediaWiki code branch containing https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Echo/+/619570/ is deployed to metawiki

On metawiki, create a bot account for the push-notifications service and add it to the newly created push-subscription-managers user group.

This can be done on mwmaint1002 using the maintenance script createAndPromote.php.

mwscript createAndPromote.php --wiki=metawiki --bot --custom-groups=push-subscription-manager WikimediaPushNotificationService

Event Timeline

Mholloway claimed this task.

This is resolved, but see T262958: PasswordError when attempting to create a new user with createAndPromote.php about a bug when using createAndPromote to create a new user. I ultimately had to create the user through the web UI and then add groups using createAndPromote, rather than doing it in a single step.