Dzahn has submitted this change and it was merged.
Change subject: jmxtrans: ignore indentation warnings
......................................................................
jmxtrans: ignore indentation warnings
This make puppet-lint ignore the indentation issues
WARNING: indentation of => is not properly aligned
in this entire section.
Change-Id: I7bc2208500e7939accd673bac3a73536c97633e8
---
M manifests/metrics/jvm.pp
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/manifests/metrics/jvm.pp b/manifests/metrics/jvm.pp
index 75a208d..0449bdc 100644
--- a/manifests/metrics/jvm.pp
+++ b/manifests/metrics/jvm.pp
@@ -22,6 +22,7 @@
)
{
jmxtrans::metrics { "${title}-jvm-metrics":
+ # lint:ignore:arrow_alignment
jmx => $jmx,
outfile => $outfile,
ganglia => $ganglia,
@@ -90,6 +91,7 @@
'Count' => {'units' => 'buffers', 'slope' => 'both'},
}
}
+ # lint:endignore
]
}
}
--
To view, visit https://gerrit.wikimedia.org/r/259884
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7bc2208500e7939accd673bac3a73536c97633e8
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet/jmxtrans
Gerrit-Branch: master
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Ottomata <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
