jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/398128 )
Change subject: Do not lint .eggs/* ...................................................................... Do not lint .eggs/* It is a setuptools cache directory, there is no point in linting it. Signed-off-by: Tyler Cipriani <thcipri...@wikimedia.org> Change-Id: Ibfa9532b253500319b8db9e4610d63076c437a82 --- M tox.ini 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Thcipriani: Looks good to me, approved jenkins-bot: Verified diff --git a/tox.ini b/tox.ini index 9f9a395..74f1e09 100644 --- a/tox.ini +++ b/tox.ini @@ -18,6 +18,6 @@ [flake8] # I couldn't care less about linting tests -exclude = docker_pkg/tests/*, .tox/* +exclude = docker_pkg/tests/*, .eggs/*, .tox/* # We're in 2017, we don't work on serial terminals anymore max-line-length=100 -- To view, visit https://gerrit.wikimedia.org/r/398128 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibfa9532b253500319b8db9e4610d63076c437a82 Gerrit-PatchSet: 1 Gerrit-Project: operations/docker-images/docker-pkg Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: Thcipriani <tcipri...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
