Page MenuHomePhabricator

Add logout.d script for Wikitech
Closed, ResolvedPublic

Description

cookbook sre.idm.logout logs out a user fleet-wide using logout.d scripts (the format is described in T283242). It should also support logging the user out of Wikitech, which can be done with the invalidateUserSessions.php mediawiki maintenance script.

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Change 708479 had a related patch set uploaded (by Majavah; author: Majavah):

[operations/puppet@production] Add logoutd script for wikitech

https://gerrit.wikimedia.org/r/708479

Legoktm triaged this task as Medium priority.Jul 28 2021, 3:19 PM

Change 708479 merged by Muehlenhoff:

[operations/puppet@production] Add logoutd script for wikitech

https://gerrit.wikimedia.org/r/708479

Change 720014 had a related patch set uploaded (by Muehlenhoff; author: Muehlenhoff):

[operations/puppet@production] wikitech logout.d: Fix section in .ini file

https://gerrit.wikimedia.org/r/720014

Change 720014 merged by Muehlenhoff:

[operations/puppet@production] wikitech logout.d: Fix section in .ini file

https://gerrit.wikimedia.org/r/720014

@Majavah, I've merged your patch and confirmed that it works fine :-) Thanks!