From 1c5e0182ca1a3738f78d702685c7543f10ed43b4 Mon Sep 17 00:00:00 2001
From: georg <georg@riseup.net>
Date: Tue, 26 Nov 2019 23:21:46 +0000
Subject: [PATCH] linting: 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.
---
 linting | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linting b/linting
index 199b364..c5f87eb 100644
--- a/linting
+++ b/linting
@@ -8,7 +8,7 @@ RUN apt-get update \
     gir1.2-rsvg-2.0 \
     mypy \
     pyflakes3 \
-    pylint3 \
+    pylint \
     python3-bandit \
     python3-gi-cairo \
     python3-mutagen \
-- 
GitLab