Adam Mills 14aa4e7694
Lint script tweaks (#13093)
* Also lint working tree files

When performing a git diff of upstream/dev..., git is diffing against
the current HEAD, but does not include working tree files. By manually
calculating a merge-base SHA to diff against, git will still diff those
files.

* Don't pylint tests files, since we don't in CI

* Use merge base for lazytox

* Simplify files changed header
2018-03-11 16:15:09 -04:00
..
2017-10-24 19:36:27 -07:00
2018-03-11 16:15:09 -04:00
2018-03-11 16:15:09 -04:00
2017-01-15 09:16:46 -08:00
2017-11-19 17:39:24 -08:00
2017-09-23 17:15:46 +02:00