-
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
wpt-pr-bot missed a webhook - reviewer missing #48
Comments
Thanks for the report! The only change in the referenced pull request is a file deletion. That's fairly unique, so it initially seemed like an edge case we weren't handling properly. However, running the code against that pull request right now yields the expected result. The logs have this to say:
The requested resource is available now, so this may have been the result of a transient network connectivity issue. |
Interesting. That error was the reason for filing web-platform-tests/wpt#13710 so possibly the guess (by @tobie) at the cause was incorrect. Maybe the code could retry after a timeout if the problem is connectivity? |
The string "THIS SHOULDN'T EVER HAPPEN" is logged in response many distinct errors. Although this particular case is unrelated to user permissions, Tobie's diagnosis was for other cases which are caused by permissions. So unfortunately, web-platform-tests/wpt#13710 is still a valid bug.
It could! #49 |
web-platform-tests/wpt#13693 Missing a review when the PE is created
The text was updated successfully, but these errors were encountered: