Release tooling: tag-based versioning, milestone prompt, and Docker images via GitHub Actions - #821

Merged

wu-sheng merged 7 commits into

mainfrom

fix/release-script-version-arg

Aug 12, 2026

Commits on Aug 12, 2026

Identify the release by its tag, not the checked-out branch

wu-sheng
and
claude
committed
6a5c2a9
Prompt for the next milestone ID when resetting CHANGES.md

wu-sheng
and
claude
committed
3b545b7
Publish release Docker images from GitHub Actions

wu-sheng
and
claude
committed
0343b08
Build release images from the voted tarball, not a rebuild

wu-sheng
and
claude
committed
02a563e
Fail with a clear message when Docker Hub secrets are missing

wu-sheng
and
claude
committed
6c84c64
Fetch the agent package once, not once per image variant

wu-sheng
and
claude
committed
aa5cef4
Merge branch 'main' into fix/release-script-version-arg
wu-sheng
authored
4d30c74