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.

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

remove pre-commit (explorations) #33172

Merged
merged 6 commits into from
Aug 2, 2024
Merged

remove pre-commit (explorations) #33172

merged 6 commits into from
Aug 2, 2024

Conversation

adeebshihadeh
Copy link
Contributor

pre-commit is super slow, doesn't exactly match CI on my machine (what does the slowness get me?), and I've found myself fighting with its config on a few occasions.

@adeebshihadeh adeebshihadeh marked this pull request as ready for review August 2, 2024 05:11
@adeebshihadeh adeebshihadeh merged commit 13511e3 into master Aug 2, 2024
17 of 18 checks passed
@adeebshihadeh adeebshihadeh deleted the rm-precommit branch August 2, 2024 05:16
Edison-CBS pushed a commit to Edison-CBS/openpilot that referenced this pull request Sep 15, 2024
* remove pre-commit (explorations)

* lint.sh

* remove rest

* add to release files

* no source

* 1min is all you need
old-commit-hash: 13511e3
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.

1 participant