Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: run pre-commit hooks before push, not before commit (#2428)
Required to ease iterative development process. Partly reverts 0cde2e4
- Loading branch information