Repository navigation

Use feature branches and PRs instead of a dev branch - #3

Merged

rdlu merged 2 commits into

mainfrom

chore/feature-branches

Oct 25, 2026

Merged

Use feature branches and PRs instead of a dev branch#3
rdlu merged 2 commits into
mainfrom
chore/feature-branches

Commits on Oct 25, 2026
- Use feature branches and PRs instead of a dev branch
  
  rdlu
  and
  claude
  committed
  9287fb0
- Name chore/ branches in push's refusal, and release-tag's new job in CLAUDE.md
  
  rdlu
  and
  claude
  committed
  526d15e