]> git.openstreetmap.org Git - nominatim.git/commitdiff
add pylint to list of required linting tools
authorSarah Hoffmann <lonvia@denofr.de>
Fri, 15 Jan 2021 08:04:04 +0000 (09:04 +0100)
committerSarah Hoffmann <lonvia@denofr.de>
Fri, 15 Jan 2021 09:43:04 +0000 (10:43 +0100)
With pylint being run in the CI, passing it is required now.


No differences found