[MediaWiki-commits] [Gerrit] Ensure gerrit's plugins are kept in sync with plugin repo - change (operations/puppet)
Dzahn has submitted this change and it was merged.
Change subject: Ensure gerrit's plugins are kept in sync with plugin repo
..
Ensure gerrit's plugins are kept in sync with plugin repo
It seems at some point in the past Gerrit's plugin repo went out of
sync with what is really deployed in Gerrit. This makes it
unnecessarily hard to recover in case the machine dies. To improve on
that, we make sure that the clone is current, so we at least notice if
we're running out of sync with the plugin repo.
Change-Id: Icb0e5997fc70bb2bfbc1ffa90bf460e84af4dbff
---
M modules/gerrit/manifests/jetty.pp
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Paladox: Looks good to me, but someone else must approve
QChris: Looks good to me, but someone else must approve
JanZerebecki: Looks good to me, but someone else must approve
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/gerrit/manifests/jetty.pp
b/modules/gerrit/manifests/jetty.pp
index 6ccdbf9..84231c3 100644
--- a/modules/gerrit/manifests/jetty.pp
+++ b/modules/gerrit/manifests/jetty.pp
@@ -197,6 +197,7 @@
}
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',
--
To view, visit https://gerrit.wikimedia.org/r/238976
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icb0e5997fc70bb2bfbc1ffa90bf460e84af4dbff
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: QChris
Gerrit-Reviewer: Dzahn
Gerrit-Reviewer: JanZerebecki
Gerrit-Reviewer: Paladox
Gerrit-Reviewer: QChris
Gerrit-Reviewer: Yuvipanda
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Ensure gerrit's plugins are kept in sync with plugin repo - change (operations/puppet)
QChris has uploaded a new change for review.
https://gerrit.wikimedia.org/r/238976
Change subject: Ensure gerrit's plugins are kept in sync with plugin repo
..
Ensure gerrit's plugins are kept in sync with plugin repo
It seems at some point in the past Gerrit's plugin repo went out of
sync with what is really deployed in Gerrit. This makes it
unnecessarily hard to recover in case the machine dies. To improve on
that, we make sure that the clone is current, so we at least notice if
we're running out of sync with the plugin repo.
Change-Id: Icb0e5997fc70bb2bfbc1ffa90bf460e84af4dbff
---
M modules/gerrit/manifests/jetty.pp
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/76/238976/1
diff --git a/modules/gerrit/manifests/jetty.pp
b/modules/gerrit/manifests/jetty.pp
index 6ccdbf9..84231c3 100644
--- a/modules/gerrit/manifests/jetty.pp
+++ b/modules/gerrit/manifests/jetty.pp
@@ -197,6 +197,7 @@
}
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',
--
To view, visit https://gerrit.wikimedia.org/r/238976
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Icb0e5997fc70bb2bfbc1ffa90bf460e84af4dbff
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: QChris
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
