Skip to content

Conversation

@driazati
Copy link
Member

@driazati driazati commented Jul 1, 2022

This adds a script release managers can use to generate a list of PRs associated with commits between two hashes, which is useful for creating the release notes. It also updates some places in the release notes and includes instructions on updating the docs site too.

@github-actions
Copy link
Contributor

github-actions bot commented Jul 1, 2022

Built docs for commit 85ce916 can be found here.

@driazati driazati marked this pull request as ready for review July 12, 2022 19:38
@github-actions
Copy link
Contributor

It has been a while since this PR was updated, please leave a review or address the outstanding comments. @driazati if this PR is still a work in progress, please convert it to a draft until it is ready for review.

@driazati driazati requested a review from areusch July 27, 2022 18:27
@driazati driazati changed the title [release] Add script to gather PRs for a release [release] Follow ups from v0.9.0 - scripts, docs Jul 27, 2022
@@ -0,0 +1,5 @@
*.md
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

maybe this should be tools/release/ or release/?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's leave it here for now and move it once https://discuss.tvm.apache.org/t/establishing-a-home-for-tvm-dev-tools/13212 is settled

@driazati driazati requested a review from areusch August 2, 2022 19:01
Copy link
Contributor

@areusch areusch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

great, leaving the final scripts path til the RFC settles sgtm.

@areusch areusch merged commit 1ca0743 into apache:main Aug 2, 2022
xinetzone pushed a commit to daobook/tvm that referenced this pull request Nov 25, 2022
Co-authored-by: driazati <driazati@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants