Dzahn has submitted this change and it was merged.
Change subject: keyholder: fix lint, indentation
......................................................................
keyholder: fix lint, indentation
Change-Id: I5dfd0612e4c4c0dbbbd41e8ee0a8481047931a7d
---
M modules/keyholder/manifests/init.pp
1 file changed, 4 insertions(+), 4 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/keyholder/manifests/init.pp
b/modules/keyholder/manifests/init.pp
index 8638767..9c1f9b0 100644
--- a/modules/keyholder/manifests/init.pp
+++ b/modules/keyholder/manifests/init.pp
@@ -101,10 +101,10 @@
file { '/etc/init/keyholder-proxy.conf':
source => 'puppet:///modules/keyholder/keyholder-proxy.conf',
- owner => 'root',
- group => 'root',
- mode => '0444',
- notify => Service['keyholder-proxy'],
+ owner => 'root',
+ group => 'root',
+ mode => '0444',
+ notify => Service['keyholder-proxy'],
}
service { 'keyholder-proxy':
--
To view, visit https://gerrit.wikimedia.org/r/269611
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5dfd0612e4c4c0dbbbd41e8ee0a8481047931a7d
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[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
