Don't push tags in our custom release script - #707

Draft

Andarist wants to merge 7 commits into

mainfrom

dont-tag-in-custom-script

Commits on Aug 3, 2026

Push annotated tags
Andarist
committed
a60abae

Commits on Aug 4, 2026

create tags on resolved commit
Andarist
committed
3fedbee
stop pushing stable release tags in the custom release script
Andarist
committed
f8d9125
push prereleases branches
Andarist
committed
5e8919c
harden against tags pointing to non-commits
Andarist
committed
7056145
harden against tag<->commit mismatch
Andarist
committed
82b288d
stable commits
Andarist
committed
f818768