Merge pull request #63 from wolfv/pre-commit
authorJonathan Dieter <jdieter@gmail.com>
Mon, 10 Jan 2022 21:28:05 +0000 (21:28 +0000)
committerGitHub <noreply@github.com>
Mon, 10 Jan 2022 21:28:05 +0000 (21:28 +0000)
pre-commit config & github linter CI


Trivial merge