Closed delvh closed 8 months ago
How do you imagine the condition? There's no info on the GitHub API object for a PR that says when a label was added to a PR. We could check that a PR has pr/last-call
and the updated_at
field is two weeks or more in the past
Sounds good
As per our CoC: If you start a last call, and no one reviews the PR within a week, you can consider this polite refusal and your PR will be closed. This definition is automateable, especially now that we have the corresponding label.