Dzahn has submitted this change and it was merged. Change subject: remove professor from dsh groups (decom) ......................................................................
remove professor from dsh groups (decom) RT #6269 Change-Id: I6be3e6683d009cfde38049b7ab734806fc83d933 --- M files/dsh/group/misc_pmtpa 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/files/dsh/group/misc_pmtpa b/files/dsh/group/misc_pmtpa index f2f5642..02702d9 100644 --- a/files/dsh/group/misc_pmtpa +++ b/files/dsh/group/misc_pmtpa @@ -20,7 +20,6 @@ pdf1 pdf2 pdf3 -professor rose sanger sockpuppet -- To view, visit https://gerrit.wikimedia.org/r/109860 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6be3e6683d009cfde38049b7ab734806fc83d933 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
