Dzahn has submitted this change and it was merged.
Change subject: puppet-lint: re-enable unquoted resource check
......................................................................
puppet-lint: re-enable unquoted resource check
I checked all across the repo, this issue
"unquoted resource title" has been fixed everywhere,
so we can re-enable this one.
Also remove option that is already commented.
We should comment all or none and dicsussed it.
Change-Id: I2d12570dd41665ccaacb164d1601c8fe13e3b070
---
M .puppet-lint.rc
1 file changed, 0 insertions(+), 4 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/.puppet-lint.rc b/.puppet-lint.rc
index 481a6cb..f4de8a6 100644
--- a/.puppet-lint.rc
+++ b/.puppet-lint.rc
@@ -13,15 +13,11 @@
--no-inherits_across_namespaces-check
--no-double_quoted_strings-check
--no-ensure_first_param-check
---no-unquoted_resource_title-check
--no-arrow_alignment-check
--no-puppet_url_without_modules-check
# We dont have much documentation yet:
--no-documentation-check
-
-# Variables should be enclosed in {}
-# --no-variables_not_enclosed-check
# We use dash in class and variables.
--no-names_containing_dash-check
--
To view, visit https://gerrit.wikimedia.org/r/253652
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2d12570dd41665ccaacb164d1601c8fe13e3b070
Gerrit-PatchSet: 2
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