Dzahn has submitted this change and it was merged.
Change subject: gerrit: remove plugin repository
......................................................................
gerrit: remove plugin repository
These will be handled in the package now
Change-Id: Ia5037e8acc3c71beb316fd9df55be5f792c8c1cd
---
M modules/gerrit/manifests/jetty.pp
1 file changed, 0 insertions(+), 10 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/gerrit/manifests/jetty.pp
b/modules/gerrit/manifests/jetty.pp
index aae63cc..6d44db6 100644
--- a/modules/gerrit/manifests/jetty.pp
+++ b/modules/gerrit/manifests/jetty.pp
@@ -206,16 +206,6 @@
],
}
- git::clone { 'operations/gerrit/plugins':
- ensure => latest,
- directory => '/var/lib/gerrit2/review_site/plugins',
- branch => 'master',
- origin =>
'https://gerrit.wikimedia.org/r/p/operations/gerrit/plugins.git',
- owner => 'gerrit2',
- group => 'gerrit2',
- require => File['/var/lib/gerrit2/review_site'],
- }
-
# This file is tuned for gerrit-2.8.1-4-ga1048ce. If you update gerrit,
# you also need to update this jar to match the BouncyCastle version
# required by the fresh gerrit.
--
To view, visit https://gerrit.wikimedia.org/r/263634
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia5037e8acc3c71beb316fd9df55be5f792c8c1cd
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <[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
