feat: allow pyrefly instead of mypy

Assisted-by: OpenCode:glm-5.1
Signed-off-by: Henry Schreiner <henryfs@princeton.edu>

Author: henryiii

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):

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: