Repository navigation

ci: Tag every merge to main, publish on GitHub release - #3

Merged

HQJaTu merged 3 commits into

mainfrom

ci/auto-release

Sep 29, 2026

Merged

ci: Tag every merge to main, publish on GitHub release#3
HQJaTu merged 3 commits into
mainfrom
ci/auto-release

Commits on Sep 29, 2026
- ci: Tag and release every merge to main
  
  HQJaTu
  and
  claude
  committed
  b7a88eb
- ci: Publish when a GitHub release is published
  
  HQJaTu
  and
  claude
  committed
  f56fee8
- ci: Explain why the ruleset lets anyone create v* tags
  
  HQJaTu
  and
  claude
  committed
  88b2fb1