-
Notifications
You must be signed in to change notification settings - Fork 638
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add docs for updating release git tags manually. #19637
Conversation
@@ -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. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
For the 3.0.0 release the tag was iree-3.0.0
for the 3.1.0 release we have v3.1.0
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
That was intentional, since vX.Y.Z
is more common across projects (left a note in #releasing on Discord).
```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 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Let's hope others name the remote upstream
as you and me both seem to do 😉
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Could say origin
instead. I think people will understand :P
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Those that push releases should 😉
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: