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

[release] Follow ups from v0.9.0 - scripts, docs #11987

Merged
merged 1 commit into from
Aug 2, 2022

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 force-pushed the release/gather_prs branch 2 times, most recently from d7b2832 to 98bc310 Compare July 1, 2022 20:21
@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 force-pushed the release/gather_prs branch 3 times, most recently from a9dd40a to a809e18 Compare July 27, 2022 08:45
@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
docs/contribute/release_process.rst Show resolved Hide resolved
docs/contribute/release_process.rst Outdated Show resolved Hide resolved
tests/scripts/release/README.md Show resolved Hide resolved
@@ -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

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