Skip to content

tooling: update git hooks#43

Merged
3nids merged 2 commits intomainfrom
tooling/update-git-hooks
May 14, 2025
Merged

tooling: update git hooks#43
3nids merged 2 commits intomainfrom
tooling/update-git-hooks

Conversation

@Guts
Copy link
Collaborator

@Guts Guts commented May 14, 2025

  • add pre-commit as optional dev dependency
  • use a consitent Python version in git hooks
  • upgrade git hooks to latest version

@3nids 3nids merged commit fca58ff into main May 14, 2025
2 checks passed
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