Skip to content

Small docs/release.rst update, mainly to remove git push --tags.#5748

Merged
rwgk merged 2 commits into
pybind:masterfrom
rwgk:docs_release_rst_do_not_git_push_tags
Jul 11, 2025
Merged

Small docs/release.rst update, mainly to remove git push --tags.#5748
rwgk merged 2 commits into
pybind:masterfrom
rwgk:docs_release_rst_do_not_git_push_tags

Remove mention of `git push --tags`

ef59a04
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.