Dzahn has submitted this change and it was merged. Change subject: puppet-lint.rc - do not disable indentation checks ......................................................................
puppet-lint.rc - do not disable indentation checks the comment that claims "Anyone has 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 Bug:T93645 Change-Id: Ifc2dc02bdd02aff0055bb91bcc2c48e4830fb6cb --- M .puppet-lint.rc 1 file changed, 0 insertions(+), 4 deletions(-) Approvals: JanZerebecki: Looks good to me, but someone else must approve jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/.puppet-lint.rc b/.puppet-lint.rc index 0f03a43..a374e05 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: merged Gerrit-Change-Id: Ifc2dc02bdd02aff0055bb91bcc2c48e4830fb6cb Gerrit-PatchSet: 5 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: JanZerebecki <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
