unify pre-commit hook & update Gitpod config#2991
Merged
mergify[bot] merged 8 commits intomasterfrom Jun 28, 2022
Merged
Commits
Commits on Jun 27, 2022
- committed
kokobd - committed
kokobd - committed
kokobd - committed
kokobd - committed
kokobd - committed
kokobd - committed
kokobd
Commits on Jun 28, 2022
- committed
kokobd