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

rwgk merged 2 commits into

pybind:masterpybind/pybind11:masterfrom

rwgk:docs_release_rst_do_not_git_push_tagsrwgk/pybind11:docs_release_rst_do_not_git_push_tagsCopy head branch name to clipboard