Giuseppe Lavagetto has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/383155 )
Change subject: Rakefile: do not collect ignored lint issues in wmf_styleguide
......................................................................
Rakefile: do not collect ignored lint issues in wmf_styleguide
Change-Id: I8cc03372b19eb5899e8ccf3f949211e748fa7eae
---
M rake_modules/taskgen.rb
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, approved
jenkins-bot: Verified
diff --git a/rake_modules/taskgen.rb b/rake_modules/taskgen.rb
index 0bc5446..ad59e6e 100644
--- a/rake_modules/taskgen.rb
+++ b/rake_modules/taskgen.rb
@@ -86,7 +86,7 @@
linter.run
problems.concat(linter.problems)
end
- problems
+ problems.reject{ |p| p[:kind] == :ignored }
end
def setup_puppet_lint
--
To view, visit https://gerrit.wikimedia.org/r/383155
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8cc03372b19eb5899e8ccf3f949211e748fa7eae
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
