Repository navigation

Record settled design decisions for contributors - #24

Merged

Sekers merged 2 commits into

feature/record-design-decisions

Oct 5, 2026

Merged

Record settled design decisions for contributors#24
Sekers merged 2 commits into
developfrom
feature/record-design-decisions

Commits on Oct 5, 2026
- Record settled design decisions for contributors
  Sekers
  committed
  becfb27
- Let the maintainer commit straight to develop when CI adds little
  Sekers
  committed
  4b4c5c2