2 Commits

Author	SHA1	Message	Date
Tim Abbott	ec90f0c342	Disable gitlint commit message linter for now. ... We've found a couple major issues that we need to fix: * TRAVIS_COMMIT_RANGE being computed incorrectly in some cases (?!) * The imperative linter could use some work.	2017-04-28 12:26:26 -07:00
Joshua Pan	64984f5bf4	Rename tools/lint-all to tools/lint. ... Fixes #4574.	2017-04-21 14:57:47 -07:00