Dzahn has submitted this change and it was merged.
Change subject: gerrit: remove require for unused plugin repo
......................................................................
gerrit: remove require for unused plugin repo
The plugin repo for gerrit has been removed in Ia5037e8acc3c71.
Also remove the require here to avoid puppet failures.
Change-Id: If42ca2149ff8642105c6b2e545faa2c987baa7aa
---
M modules/gerrit/manifests/jetty.pp
1 file changed, 1 insertion(+), 2 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 6d44db6..9514302 100644
--- a/modules/gerrit/manifests/jetty.pp
+++ b/modules/gerrit/manifests/jetty.pp
@@ -215,8 +215,7 @@
group => 'gerrit2',
mode => '0444',
target =>
'/var/lib/gerrit2/review_site/plugins/bouncycastle/bcprov-1.44-from-Debian-wheezy.jar',
- require => [Git::Clone['operations/gerrit/plugins'],
- File['/var/lib/gerrit2/review_site/lib']
+ require => [File['/var/lib/gerrit2/review_site/lib']
],
}
--
To view, visit https://gerrit.wikimedia.org/r/265144
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If42ca2149ff8642105c6b2e545faa2c987baa7aa
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
