Skip to content
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

Merged
merged 1 commit into from
Jan 8, 2025

Conversation

ScottTodd
Copy link
Member

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

@ScottTodd ScottTodd added documentation ✏️ Improvements or additions to documentation infrastructure Relating to build systems, CI, or testing labels Jan 8, 2025
@ScottTodd ScottTodd requested a review from marbre January 8, 2025 21:43
@@ -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.
Copy link
Member

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.

Copy link
Member Author

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
Copy link
Member

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 😉

Copy link
Member Author

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

Copy link
Member

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 😉

@ScottTodd ScottTodd merged commit 126f0ac into iree-org:main Jan 8, 2025
24 checks passed
@ScottTodd ScottTodd deleted the release-tag-docs branch January 8, 2025 22:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation ✏️ Improvements or additions to documentation infrastructure Relating to build systems, CI, or testing
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants