Dzahn has submitted this change and it was merged.
Change subject: zuul/merge: fix lint warning
......................................................................
zuul/merge: fix lint warning
Change-Id: I5d70428d2fdca6e57454c1c9877e9ad2a9e0a815
---
M modules/role/manifests/zuul/merger.pp
1 file changed, 5 insertions(+), 5 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/role/manifests/zuul/merger.pp
b/modules/role/manifests/zuul/merger.pp
index 018fb5c..39123bf 100644
--- a/modules/role/manifests/zuul/merger.pp
+++ b/modules/role/manifests/zuul/merger.pp
@@ -7,11 +7,11 @@
class { '::zuul::merger':
# Shared settings
- gearman_server =>
$role::zuul::configuration::shared[$::realm]['gearman_server'],
- gerrit_server =>
$role::zuul::configuration::shared[$::realm]['gerrit_server'],
- gerrit_user =>
$role::zuul::configuration::shared[$::realm]['gerrit_user'],
- url_pattern =>
$role::zuul::configuration::shared[$::realm]['url_pattern'],
- status_url =>
$role::zuul::configuration::shared[$::realm]['status_url'],
+ gearman_server =>
$role::zuul::configuration::shared[$::realm]['gearman_server'],
+ gerrit_server =>
$role::zuul::configuration::shared[$::realm]['gerrit_server'],
+ gerrit_user =>
$role::zuul::configuration::shared[$::realm]['gerrit_user'],
+ url_pattern =>
$role::zuul::configuration::shared[$::realm]['url_pattern'],
+ status_url =>
$role::zuul::configuration::shared[$::realm]['status_url'],
# Merger related
gerrit_ssh_key_file =>
$role::zuul::configuration::merger[$::realm]['gerrit_ssh_key_file'],
--
To view, visit https://gerrit.wikimedia.org/r/259888
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5d70428d2fdca6e57454c1c9877e9ad2a9e0a815
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
