Cleanup: quiet mypy warnings in gitea_inactive_developers

Also add to the list of scripts to check with "make check_mypy".
2023-04-16 16:52:19 +10:00
parent b827c8cd1e
commit 6722f90734
2 changed files with 14 additions and 8 deletions
@@ -58,6 +58,7 @@ PATHS_EXCLUDE = set(
        "tools/utils/git_log.py",
        "tools/utils/git_log_review_commits.py",
        "tools/utils/git_log_review_commits_advanced.py",
+        "tools/utils/gitea_inactive_developers.py",
        "tools/utils/make_cursor_gui.py",
        "tools/utils/make_gl_stipple_from_xpm.py",
        "tools/utils/make_shape_2d_from_blend.py",