From e5cb1bcd740ba9f76e6a5d6c3f50183760ab53cc Mon Sep 17 00:00:00 2001 From: Henry Schreiner Date: Fri, 15 May 2026 11:45:58 -0700 Subject: [PATCH] feat: allow pyrefly instead of mypy Assisted-by: OpenCode:glm-5.1 Signed-off-by: Henry Schreiner --- src/sp_repo_review/checks/precommit.py | 5 ++++- tests/test_precommit.py | 8 ++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/src/sp_repo_review/checks/precommit.py b/src/sp_repo_review/checks/precommit.py index 930c6684..35e4af25 100644 --- a/src/sp_repo_review/checks/precommit.py +++ b/src/sp_repo_review/checks/precommit.py @@ -115,7 +115,10 @@ class PC190(PreCommit): class PC140(PreCommit): "Uses a type checker" - repos = {"https://github.com/pre-commit/mirrors-mypy"} + repos = { + "https://github.com/pre-commit/mirrors-mypy", + "https://github.com/facebook/pyrefly-pre-commit", + } class PC160(PreCommit): diff --git a/tests/test_precommit.py b/tests/test_precommit.py index 2b2e8236..8dce06e1 100644 --- a/tests/test_precommit.py +++ b/tests/test_precommit.py @@ -134,6 +134,14 @@ def test_pc140(): assert compute_check("PC140", precommit=precommit).result +def test_pc140_pyrefly(): + precommit = yaml.safe_load(""" + repos: + - repo: https://github.com/facebook/pyrefly-pre-commit + """) + assert compute_check("PC140", precommit=precommit).result + + def test_pc160_codespell(): precommit = yaml.safe_load(""" repos: