driazati opened a new pull request #9973:
URL: https://github.com/apache/tvm/pull/9973
This will add a comment from GitHub actions after X amount of time has
passed after the last comment on a PR. This should help keep the backlog of PRs
clean by remininding people to do a review or update their PRs. Unlike issues
where having long term open issues that are legit bugs, PRs shouldn't be open
indefinitely, so this bot will incentivize people to keep the PR backlog clean.
The specific rule this operates under is: if there has been no comment
or review in `--wait-time-minutes` (as checked by GitHub Actions every 15
minutes via the cron workflow in this PR), leave a comment on the PR @-ing all
the relevant people, including anyone who has left a review or who was cc'ed at
any point in the PR.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
