Dzahn has submitted this change and it was merged.
Change subject: zuul: define push_change_refs as false
......................................................................
zuul: define push_change_refs as false
push_change_refs should be false everywhere, making sure we are never
going to push Zuul references back in Gerrit.
Change-Id: I065e38a14888627b6291d2cdbddc7d5ece9a75f6
---
M manifests/zuul.pp
M modules/zuul/manifests/init.pp
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/zuul.pp b/manifests/zuul.pp
index 252b944..83870eb 100644
--- a/manifests/zuul.pp
+++ b/manifests/zuul.pp
@@ -17,7 +17,7 @@
$config_git_branch='master',
$git_branch='master',
$git_dir='/var/lib/zuul/git',
- $push_change_refs,
+ $push_change_refs = false,
$statsd_host = ''
) {
diff --git a/modules/zuul/manifests/init.pp b/modules/zuul/manifests/init.pp
index 10fe7a9..f1e9cb3 100644
--- a/modules/zuul/manifests/init.pp
+++ b/modules/zuul/manifests/init.pp
@@ -23,7 +23,7 @@
$git_source_repo = 'https://gerrit.wikimedia.org/r/p/integration/zuul.git',
$git_branch = 'master',
$git_dir = '/var/lib/zuul/git',
- $push_change_refs,
+ $push_change_refs = false,
$statsd_host = '',
) {
--
To view, visit https://gerrit.wikimedia.org/r/105959
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I065e38a14888627b6291d2cdbddc7d5ece9a75f6
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
