[skip ci] Small `docs/release.rst` update, mainly to remove `git push --tags`. (#5748) * [skip ci] Small docs/release.rst update, mainly to warn about `git push --tags`. * Remove mention of `git push --tags` Co-authored-by: Henry Schreiner <HenrySchreinerIII@gmail.com> --------- Co-authored-by: Henry Schreiner <HenrySchreinerIII@gmail.com>