unify pre-commit hook & update Gitpod config#2991

Merged

mergify[bot] merged 8 commits intomasterfrom

kokobd/pre-commit-hook-is-broken-2967

Jun 28, 2022

Commits on Jun 27, 2022

update Gitpod config
kokobd
committed
update nix shellHook & docs
kokobd
committed
install pre-commit hook
kokobd
committed
add kokobd as code owner to .gitpod.*
kokobd
committed
add gen-hie to Gitpod
kokobd
committed
add tools for doc
kokobd
committed
remove .pre-commit-config.yaml from .gitignore
kokobd
committed

Commits on Jun 28, 2022

set vscode formatter to stylish-haskell in Gitpod
kokobd
committed