-
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
WebKit export tool still asks people for reviews #164
Comments
Yikes, that's definitely not meant to happen! Thanks for the report annevk. cc @gsnedders who may be interested in supporting WebKit exports, otherwise I will try to find time to look at this over the next few weeks (but sadly cannot promise). |
This is just #100 again, no? |
These PRs were opened before corresponding patches were reviewed on the Bugzilla. I wonder if there is a way to become a collaborator on the WPT repo so I can land reviewed PRs? |
That code was removed in e49022f#diff-6858ab67caf6ac5fd0757dba33dfdcc84b285a36b92b03d00b9029ca8b0929b5 . The current logic is pretty shaky, but is meant to:
Sorry for the delay here. I have sent you an invite to become a member of the org, which should let you land reviewed PRs. Please let me know if that doesn't grant enough permissions (we also have a As to this bug in general; I will not be able to commit time to fix it, I am afraid (or to fix much of wpt-pr-bot in the short/medium term). |
Thank you @stephenmcgruer! However, org membership doesn't grant write access (GitHub's default now I suppose), which is required to merge reviewed PRs: According to description of |
Ahah, so I remembered wrong then. Updated your invitation to be in |
@dbaron mentioned this in Matrix a few days ago; discussion following that led to my conclusion that:
|
An obvious fix here is to drop the requirement to have the PR linked from the WebKit bug; given the number of people who can add things to that field, I don't think that is overly opening things up to abuse? |
I haven't seen this happen for a long time. Maybe something already fixed it? |
The race very much should still be there; it could just be that GitHub is slightly slower at dispatching the hook or something thus |
Recent examples:
The text was updated successfully, but these errors were encountered: