-
Notifications
You must be signed in to change notification settings - Fork 36
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
Unable to dismiss assignee #71
Comments
So, while this is quite annoying, and we should change it, it's somewhat working as intended. The current assignee for a review should not just unassign themselves, and thus ignore the PR - they are responsible for delegating the task. Just unassigning themselves (and having the bot handle that, not reassigning) will result in a PR that has no assignee, and gets neglected. So, as expected, when you assigned foolip as the review first, then unassigned yourself, it didn't reassign you (because there's an assignee). |
@lukebjerring I think that's an good interpretation of the feature and its intended use. If there's a bug here, it's that the script is too eager, and its immediate response forces people to switch assignees in a particular order. I was going to recommend inserting a delay in order to give folks a chance to unassign and then reassign, but we already have a 5-second delay (though it's motivated by another requirement). In light of that, I don't think any change is required. What do you think? |
I'm not convinced that any changes should be made - to mitigate the nuisance would require doing something informative (maybe an instructional comment?). Are we able to temper a different delay for each hook behaviour? |
A longer delay before reassigning (say 60 seconds) would be good I think. The bot could add a comment, but I think it's not necessary. |
It seems #55 introduced a problem similar to #9 (PR #31)
See
web-platform-tests/wpt#15649 (comment)
cc @lukebjerring
The text was updated successfully, but these errors were encountered: