Add pre-commit to github action #238
Description
The implementation is straightforward. The only question is if we want to automatically push pre-commit fixes and if we want to use the hosted pre-commit-ci instead of github action for that.
{{ message }}