Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Reconsider pre-commit hooks #130

Open
PGijsbers opened this issue Dec 15, 2023 · 0 comments
Open

Reconsider pre-commit hooks #130

PGijsbers opened this issue Dec 15, 2023 · 0 comments
Labels
dev-tools Anything related to the developer tooling (CI, pre-commit, etc.)

Comments

@PGijsbers
Copy link
Contributor

PGijsbers commented Dec 15, 2023 •
edited
Loading

Reminder to myself to consider the following: Would it be good to add additionally hooks on push only (tests come to mind)? Should some current commit hooks be push hooks?
@PGijsbers PGijsbers added the dev-tools Anything related to the developer tooling (CI, pre-commit, etc.) label Dec 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
dev-tools Anything related to the developer tooling (CI, pre-commit, etc.)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@PGijsbers