Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/198814
Change subject: puppet-lint.rc - do not disable indentation checks ...................................................................... puppet-lint.rc - do not disable indentation checks the comment that claims "Anyone as a different indentation preference" is not accurate. we have actually agreed on four-space soft tabs: https://wikitech.wikimedia.org/wiki/Puppet_coding#Spacing.2C_Indentation.2C_.26_Whitespace Change-Id: Ifc2dc02bdd02aff0055bb91bcc2c48e4830fb6cb --- M .puppet-lint.rc 1 file changed, 0 insertions(+), 4 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/14/198814/1 diff --git a/.puppet-lint.rc b/.puppet-lint.rc index ddbd875..3c06997 100644 --- a/.puppet-lint.rc +++ b/.puppet-lint.rc @@ -8,10 +8,6 @@ # Lot of long lines (ssh keys for example). --no-80chars-check -# Anyone as a different indentation preference. ---no-hard_tabs-check ---no-2sp_soft_tabs-check - # Misc rules, some of them might use to be enabled later. --no-autoloader_layout-check --no-inherits_across_namespaces-check -- To view, visit https://gerrit.wikimedia.org/r/198814 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ifc2dc02bdd02aff0055bb91bcc2c48e4830fb6cb 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
