Dzahn has submitted this change and it was merged.

Change subject: remove fenari from mw-installation dsh group
......................................................................


remove fenari from mw-installation dsh group

.. to see the dsh group monitoring in action

.. and because it should be shutdown soon anyways,
   and start the discussion if it really still needs to
   have a mediawiki on it. i know there was a reason, but
   what was it again?

Change-Id: I7b42f21174b35f7fda6d4a01b9321703bd12a621
---
M files/dsh/group/mediawiki-installation
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  MaxSem: Looks good to me, but someone else must approve
  jenkins-bot: Verified
  Dzahn: Looks good to me, approved



diff --git a/files/dsh/group/mediawiki-installation 
b/files/dsh/group/mediawiki-installation
index f81f364..2a8ba11 100644
--- a/files/dsh/group/mediawiki-installation
+++ b/files/dsh/group/mediawiki-installation
@@ -1,4 +1,3 @@
-fenari
 tin
 terbium
 

-- 
To view, visit https://gerrit.wikimedia.org/r/158813
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7b42f21174b35f7fda6d4a01b9321703bd12a621
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to