From 126f0acb31d187fa549b594f289b0f19ff3995fa Mon Sep 17 00:00:00 2001 From: Scott Todd Date: Wed, 8 Jan 2025 14:28:52 -0800 Subject: [PATCH] Add docs for updating release git tags manually. (#19637) I can't find a way to pick an older commit via the "Branches" and "Recent Commits" UI, so just handle tag updating from the CLI: ![image](https://github.com/user-attachments/assets/ca3c3ebb-0084-4b43-ae3a-cf744efac19e) --- .../docs/developers/general/release-management.md | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/docs/website/docs/developers/general/release-management.md b/docs/website/docs/developers/general/release-management.md index 31aa79ca9455..5aea767261b1 100644 --- a/docs/website/docs/developers/general/release-management.md +++ b/docs/website/docs/developers/general/release-management.md @@ -63,10 +63,19 @@ request that some feature make the cut. * Set the tag to be created and select a target commit. For example, if the candidate release was tagged `iree-3.1.0rc20241119` at commit `3ed07da`, - set the new release tag `iree-3.1.0` and use the same commit. + set the new release tag `v3.1.0` and use the same commit. ![rename_tag](./release-tag.png) + If the commit does not appear in the list, create and push a tag + manually: + + ```bash + git checkout iree-3.1.0rc20250107 + git tag -a v3.1.0 -m "Version 3.1.0 release." + git push upstream v3.1.0 + ``` + * Set the title to `Release vX.Y.Z`. * Paste the release notes from the release tracking issue.