Dzahn has submitted this change and it was merged.
Change subject: Add missing wiki to RB
......................................................................
Add missing wiki to RB
Bug: T148861
Change-Id: I1ed68aa9ceb15e907bf0080e37f2a9ba42407141
---
M modules/restbase/templates/config.yaml.erb
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Mobrovac: Looks good to me, but someone else must approve
jenkins-bot: Verified
Dzahn: Looks good to me, approved
GWicke: Looks good to me, but someone else must approve
diff --git a/modules/restbase/templates/config.yaml.erb
b/modules/restbase/templates/config.yaml.erb
index 6bd2b81..73b06da 100644
--- a/modules/restbase/templates/config.yaml.erb
+++ b/modules/restbase/templates/config.yaml.erb
@@ -866,6 +866,7 @@
/{domain:wikimediafoundation.org}: *default_project
/{domain:www.mediawiki.org}: *default_project
/{domain:wikisource.org}: *default_project
+ /{domain:beta.wikiversity.org}: *default_project
/{domain:test.wikidata.org}: *default_project
/{domain:www.wikidata.org}: *default_project
--
To view, visit https://gerrit.wikimedia.org/r/317511
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1ed68aa9ceb15e907bf0080e37f2a9ba42407141
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Alex Monk <a...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: GWicke <gwi...@wikimedia.org>
Gerrit-Reviewer: Mobrovac <mobro...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
