Skip to content

[test][script] Fix release gather_pr.py of script about ghost users or blank PR nodes#14646

Merged
junrushao merged 2 commits intoapache:mainfrom
ysh329:fix-release-script-gather-prs
Apr 17, 2023
Merged

[test][script] Fix release gather_pr.py of script about ghost users or blank PR nodes#14646
junrushao merged 2 commits intoapache:mainfrom
ysh329:fix-release-script-gather-prs

Conversation

@ysh329
Copy link
Copy Markdown
Contributor

@ysh329 ysh329 commented Apr 17, 2023

Fix release gather_pr.py of script about ghost users or blank PR nodes.
Hi @driazati, please have a review 😄

@tvm-bot
Copy link
Copy Markdown
Collaborator

tvm-bot commented Apr 17, 2023

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

  • No users to tag found in teams: test, script See #10317 for details

Generated by tvm-bot

@ysh329 ysh329 changed the title [test][script] Fix release gather_pr.py of script about ghost users or blank PR nodes. [test][script] Fix release gather_pr.py of script about ghost users or blank PR nodes Apr 17, 2023
Copy link
Copy Markdown
Member

@junrushao junrushao left a comment

Choose a reason for hiding this comment

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

Thanks for the PR! Merging this in :-)

@junrushao junrushao merged commit 608d357 into apache:main Apr 17, 2023
@ysh329 ysh329 deleted the fix-release-script-gather-prs branch April 18, 2023 07:09
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.

4 participants