Add make tag target for GitHub release - #334

Merged

drernie merged 5 commits into

mainfrom

tag-release-target

Apr 30, 2026

Commits on Apr 30, 2026

Add make tag target for GitHub release

drernie
and
claude
committed
e0446e6
Make release depend on tag

drernie
and
claude
committed
539ab28
Add --dry-run and main-branch guard to tag-release.sh

drernie
and
claude
committed
4d18ba5
Address PR review: tighten tag-release.sh

drernie
and
claude
committed
94d3e9e
Escape dots in bump-version.sh sed pattern

drernie
and
claude
committed
74f8912