From: Andrea Righi Date: Fri, 16 Jun 2023 19:01:26 +0000 (+0200) Subject: Merge pull request #2 from corytodd/lint-check-prs X-Git-Tag: v0.1 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=43719345e942badfd86c8b9437402bd87a897718;p=annotations.git Merge pull request #2 from corytodd/lint-check-prs ci: run pylint on pull requests --- 43719345e942badfd86c8b9437402bd87a897718