Dzahn has submitted this change and it was merged. Change subject: add stat1 and bast4001 to misc servers groups ......................................................................
add stat1 and bast4001 to misc servers groups Change-Id: Ie120054eafb072d33ed154a3ea6168f709226709 --- M files/dsh/group/misc_pmtpa M files/dsh/group/misc_ulsfo 2 files changed, 2 insertions(+), 0 deletions(-) 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 efd7825..f90edad 100644 --- a/files/dsh/group/misc_pmtpa +++ b/files/dsh/group/misc_pmtpa @@ -30,6 +30,7 @@ rose sanger stafford +stat1 streber tarin tingxi diff --git a/files/dsh/group/misc_ulsfo b/files/dsh/group/misc_ulsfo index e69de29..6fd5e912 100644 --- a/files/dsh/group/misc_ulsfo +++ b/files/dsh/group/misc_ulsfo @@ -0,0 +1 @@ +bast4001 -- To view, visit https://gerrit.wikimedia.org/r/92912 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie120054eafb072d33ed154a3ea6168f709226709 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
