aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/lint-repository.sh
Commit message (Expand)AuthorAge
* Fix redirection to stderr in lint-repository error message.Gravatar Gaëtan Gilbert2018-02-08
* Simplify logic and streamline lint-repository.shGravatar Gaëtan Gilbert2018-01-16
* Cleanup conditional in lint-repository.shGravatar Gaëtan Gilbert2018-01-08
* Linter: skip PRs older than the linter.Gravatar Gaëtan Gilbert2017-12-06
* Linter: check that files end with newlines.Gravatar Gaëtan Gilbert2017-10-25