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 <christ...@quelltextlich.at> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: JanZerebecki <jan.wikime...@zerebecki.de> Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com> Gerrit-Reviewer: QChris <christ...@quelltextlich.at> Gerrit-Reviewer: Yuvipanda <yuvipa...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits