Do not run pylint by default
pylint creates some files, and leaves git in a detached HEAD. pylint can still be run via 'tox -epylint' Change-Id: Ic0193f2488f1c6eb4a9f0fabbe24ac9869239890
This commit is contained in:
parent
5145b2d346
commit
b1de4523f3