Giuseppe Lavagetto has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/383155 )
Change subject: Rakefile: do not collect ignored lint issues win wmf_styleguide
......................................................................
Rakefile: do not collect ignored lint issues win wmf_styleguide
Change-Id: I8cc03372b19eb5899e8ccf3f949211e748fa7eae
---
M rake_modules/taskgen.rb
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/55/383155/1
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: newchange
Gerrit-Change-Id: I8cc03372b19eb5899e8ccf3f949211e748fa7eae
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
