WIP: CI: Use pylint, instead of pylint3

It seems, despite the name, both packages depend on Python 3. However, pylint3 seems deprecated, and upstream recommends to install pylint: https://www.pylint.org/#install

The current versions of both packages in Debian unstable are:

pylint 2.4.4-1

pylint3 2.2.2-1

This commit fixes failing CI jobs due to the use of pylint3 2.2.2-1, which seems broken.

added continuous integration label

changed the description

@jvoisin Could you have a look at this? It seems better to use pylint instead of pylint3. (I haven't pushed the corresponding change to the image config to master up until now.)

This change makes the linting work again, but due to the more recent version, there are new checks now, which are failing.

I just pushed df1eb98a, which should address the new issues :)

Thanks -- I've pushed this to master, due to now broken CI because of archlinux' python 3.8, which prevents merging via the webinterface. Hope you don't mind.

closed