Andrew Bogott has submitted this change and it was merged. Change subject: Fix adminbot's postrm ......................................................................
Fix adminbot's postrm Previously this was failing because we couldn't remove the adminbot user or group while the service was still running. Change-Id: I40b1ef77f7514cdeea3ddd4a42c4aa56ef7fe08d --- M debian/adminbot.postrm 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Andrew Bogott: Verified; Looks good to me, approved jenkins-bot: Checked -- To view, visit https://gerrit.wikimedia.org/r/47375 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I40b1ef77f7514cdeea3ddd4a42c4aa56ef7fe08d Gerrit-PatchSet: 1 Gerrit-Project: operations/debs/adminbot Gerrit-Branch: master Gerrit-Owner: Andrew Bogott <[email protected]> Gerrit-Reviewer: Andrew Bogott <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
