Dzahn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/265144
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(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/44/265144/1
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: newchange
Gerrit-Change-Id: If42ca2149ff8642105c6b2e545faa2c987baa7aa
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
