Jcrespo has submitted this change and it was merged.

Change subject: realm: add 'projectcom' to private wiki list
......................................................................


realm: add 'projectcom' to private wiki list

A new private wiki called 'projectcom' is requested
on T143138.

The docs at https://wikitech.wikimedia.org/wiki/Add_a_wiki#Start say
as very first step, even before adding to DNS, to tell Ops DBAs
and add a new private wiki to this file.

Bug: T143138
Change-Id: Id133dd2570582b3d0617452d8a56228b870e97e6
---
M manifests/realm.pp
1 file changed, 1 insertion(+), 0 deletions(-)

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



diff --git a/manifests/realm.pp b/manifests/realm.pp
index 77b6f22..c341577 100644
--- a/manifests/realm.pp
+++ b/manifests/realm.pp
@@ -148,6 +148,7 @@
     'officewiki',
     'ombudsmenwiki',
     'otrs_wikiwiki',
+    'projectcomwiki',
     'searchcomwiki',
     'spcomwiki',
     'stewardwiki',

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Id133dd2570582b3d0617452d8a56228b870e97e6
Gerrit-PatchSet: 5
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Coren <[email protected]>
Gerrit-Reviewer: Dereckson <[email protected]>
Gerrit-Reviewer: Jcrespo <[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