Skip to content

Make release.sh rerunnable, and ask before each publishing step - #239

Merged
wu-sheng merged 1 commit into
masterfrom
release-script-clear-ending
Oct 20, 2026
Merged

wu-sheng merged 1 commit into
masterfrom
release-script-clear-ending

Commits

  1. Commits on Oct 19, 2026