Dzahn has submitted this change and it was merged. Change subject: puppet-lint: remove exception for puppet URLs without modules ......................................................................
puppet-lint: remove exception for puppet URLs without modules Another check that has been fixed/ignored globally across the repo now, so that the exception here can be removed. Bug:T93645 Change-Id: I39e4f143e97f2c0dee0d848738377dc9f6c5c45d --- M .puppet-lint.rc 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/.puppet-lint.rc b/.puppet-lint.rc index 80675f4..151b192 100644 --- a/.puppet-lint.rc +++ b/.puppet-lint.rc @@ -4,7 +4,6 @@ # TO BE FIXED - T93645 - please help --no-autoloader_layout-check ---no-puppet_url_without_modules-check # T127797 - needs at least one comment line for each class --no-documentation-check -- To view, visit https://gerrit.wikimedia.org/r/296954 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I39e4f143e97f2c0dee0d848738377dc9f6c5c45d Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
