Repository navigation

Tidy the repo and cut 0.2.0 - #28

Merged

workshop-maybe merged 2 commits into

mainfrom

chore/hygiene-and-release-0.2.0

Sep 24, 2026

Merged

Tidy the repo and cut 0.2.0#28
workshop-maybe merged 2 commits into
mainfrom
chore/hygiene-and-release-0.2.0

Commits on Sep 24, 2026
- chore: tidy the repo and cut 0.2.0
  workshop-maybe
  committed
  bf970f5
- chore: date the 0.2.0 changelog entry to its release day
  workshop-maybe
  committed
  da9bc3a