Commit deeee256 authored by georg's avatar georg

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.
parent df1eb98a
Pipeline #30453 failed with stages
in 5 minutes and 4 seconds