Skip to content

Conversation

@henryiii
Copy link
Contributor

See #1064 (will conflict a little with that one).

This also works properly with prek, a faster Rust pre-commit tool (no pip present for mypy install types).

Comment on lines -33 to +34
- repo: https://github.com/pre-commit/mirrors-prettier
rev: "v4.0.0-alpha.8"
- repo: https://github.com/rbubley/mirrors-prettier
rev: "v3.7.3"
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The pre-commit mirror was shutdown; this is a maintained replacement.

rev: v0.14.0
hooks:
- id: ruff-check
types_or: [python, jupyter]
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is now the default (along with .pyi), jupyter was added a while ago.

rev: "2025.10.01"
hooks:
- id: sp-repo-review
additional_dependencies: ["repo-review[cli]"]
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is only needed if you add extra dependencies.

Comment on lines 45 to 56
args: ["--install-types", "--non-interactive"]
args: []
additional_dependencies:
["traitlets>=5.13", "ipykernel>=6.26", "jupyter_core>=5.3.2"]
- traitlets>=5.13
- ipykernel>=6.26
- jupyter_core>=5.3.2
- types-pexpect
- types-paramiko
- types-netifaces
- types-psutil
- types-python-dateutil
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This enables prek to work, since it doesn't have pip installed, and mypy assumes pip is available to install things. And it's faster.

@rgbkrk
Copy link
Member

rgbkrk commented Dec 12, 2025

Awesome thank you. I did merge in #1064 so if you're able to rebase to put your changes in please do.

Signed-off-by: Henry Schreiner <henryfs@princeton.edu>
@henryiii henryiii force-pushed the henryiii/chore/precommitup branch from e023feb to e3cd645 Compare December 13, 2025 02:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants