Repository navigation

Migrate from trunk to pre-commit - #76

Open

mxr wants to merge 2 commits into

mxr:migrate-trunk

Open

Migrate from trunk to pre-commit#76
mxr wants to merge 2 commits into
haext:mainfrom
mxr:migrate-trunk

Commits on Jun 29, 2026
- apply
  mxr
  committed
  5e5db0d
- Remove Prettier extension from Gitpod config
  mxr
  authored
  b3f1d3c