Ottomata has submitted this change and it was merged.
Change subject: Replicate analytics/kraken to kraken on github
......................................................................
Replicate analytics/kraken to kraken on github
Change-Id: Ib5dbce1625045c1d6cded8853c87d114c211ea08
---
M manifests/role/gerrit.pp
1 file changed, 10 insertions(+), 0 deletions(-)
Approvals:
Ottomata: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/manifests/role/gerrit.pp b/manifests/role/gerrit.pp
index d950814..25e77c7 100644
--- a/manifests/role/gerrit.pp
+++ b/manifests/role/gerrit.pp
@@ -78,6 +78,16 @@
'mirror' => 'true',
'projects' =>
'operations/puppet/zookeeper',
},
+ 'github-kraken' => {
+ 'url' =>
'[email protected]:wikimedia/kraken',
+ 'threads' => '1',
+ 'authGroup' =>
'mediawiki-replication',
+ 'push' =>
'+refs/heads/*:refs/heads/*
+ push = +refs/tags/*:refs/tags/*',
+ 'remoteNameStyle' => 'dash',
+ 'mirror' => 'true',
+ 'projects' =>
'analytics/kraken',
+ },
},
smtp_host => 'smtp.pmtpa.wmnet'
}
--
To view, visit https://gerrit.wikimedia.org/r/73735
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib5dbce1625045c1d6cded8853c87d114c211ea08
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: QChris <[email protected]>
Gerrit-Reviewer: Ottomata <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
