From db956cd68b5ea162c40e26562aafd66534c36fe9 Mon Sep 17 00:00:00 2001 From: Athanasius Date: Fri, 23 Dec 2022 15:32:09 +0000 Subject: [PATCH] scripts/mypy-all: Add a little comment documentation --- scripts/mypy-all.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/mypy-all.sh b/scripts/mypy-all.sh index 02a76a48..72a37f0b 100755 --- a/scripts/mypy-all.sh +++ b/scripts/mypy-all.sh @@ -1,4 +1,6 @@ #!/usr/bin/env bash # +# Run mypy checks against all the relevant files +# We assume that all `.py` files in git should be checked, and *only* those. mypy $@ $(git ls-tree --full-tree -r --name-only HEAD | grep -E '\.py$')