tree ce71cb1e168b6efdbb0da4cd852e3001e31a3a97
parent 6f76795bf5a8e0cc7b5fa7e8f0939afd3aefde41
author Gilles Peskine <Gilles.Peskine@arm.com> 1551122253 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1551127352 +0100

New, documented pylint configuration

The pylint configuration in .pylint was a modified version of the
output of `pylint --generate-rcfile` from an unknown version of
pylint. Replace it with a file that only contains settings that are
modified from the default, with an explanation of why each setting is
modified.

The new .pylintrc was written from scratch, based on the output of
pylint on the current version of the files and on a judgement of what
to silence generically, what to silence on a case-by-case basis and
what to fix.