[MediaWiki-commits] [Gerrit] gerrit: remove require for unused plugin repo - change (operations/puppet)

[Dzahn (Code Review)]

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 
Gerrit-Reviewer: Chad 
Gerrit-Reviewer: Dzahn 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] gerrit: remove require for unused plugin repo - change (operations/puppet)

[Dzahn (Code Review)]

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 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits