Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #60 from jpthiele/rename_precommit_ci
[CI] rename pre-commit action
- Loading branch information