Dzahn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/269611
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(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/11/269611/1
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: newchange
Gerrit-Change-Id: I5dfd0612e4c4c0dbbbd41e8ee0a8481047931a7d
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
