4 Commits (444805df103619f9aa52591a11ff1d4fb6e224b0)

Author	SHA1	Message	Date
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
cdce8p	7ea7fc8d38	Script/lint, Lazytox: Fix issue to ignore delete files (#13051) ... * Fix issue to ignore delete files * Updated lazytox	2018-03-10 09:12:23 -08:00
Otto Winter	2fae86bbd3	Make lazytox script executable (#13040)	2018-03-10 08:39:49 +01:00
Johann Kellerman	37d8cd7b75	New lazytox.py script (#12862)	2018-03-09 22:27:39 +02:00