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
Unreviewed commits on master #19311
Comments
5612fb4 is in this same category (wpt.fyi runs labeled master that don't have merge_pr_* tags) and explained by #16806. So it looks like @gsnedders was pushing to master in order to fix the docs build. Leaving open to confirm. |
Just a few more to check, but is 78384fb is another. @sideshowbarker I've looked through PRs but can't find anything, and https://api.github.com/search/issues?q=type:pr+is:merged+repo:web-platform-tests/wpt+sha:78384fb41b6f678b2d9a3ebc2bf9f0fdbc1277c2 doesn't return any either. Do you think you accidentally pushed this directly to master? |
That's correct. Sam and I were working closely together on this. We would of course prefer not to treat We'd previously vetted the patch and its integration with GitHub using the |
The final commit on my list to investigate was c717f05, which I explained in #18717 (comment) I accidentally pushed directly to master. If @sideshowbarker's 78384fb was also a mistake, then perhaps we should enforce branch protection for admins as well. Nothing very bad has happened as a consequence of this so far, but it does mean that there are some runs in wpt.fyi which were from master for which we can't get a copy of the manifest from releases in this repo. @Hexcles FYI. |
Looking at 78384fb, I see the commit was associated with hoojaoh#1565, which is a push from the "pull" bot that got merged in the hoojaoh:master branch of the hoojaoh/web-platform-tests for. At this point, I don’t actually have any idea what happened there. I guess the bot pulled some change that had already been committed to master? Or maybe that’s all irrelevant, since it was change to a branch on fork. I guess maybe GitHub associated it with that PR because it was the only PR it could find to associate it with? Anyway, regardless, at this point, I don’t actually recall anything about 78384fb.
I think we should enforce branch protection for admins, regardless. I thought we were already doing that, actually. I don’t see any reason why we shouldn’t. But would enforcing branch protection for admins also have prevented the push from that bot? |
In https://github.com/web-platform-tests/wpt/settings/branch_protection_rules/1493 I just tried checking this checkbox: However, as a result it's not longer possible to admin merge a PR, that is the following UI no longer appears on a PR like #19377: So I've unchecked it again. It would be great to get to a state where we never need to override a failing Taskcluster status, and perhaps with @KyleJu's work to annotate known flakiness we'll get close, but for now we still need to admin merge. There isn't anything actionable in this issue and I've already asked about or accounted for the unreviewed commits, so closing this. @web-platform-tests/admins FYI. |
Hah, I did it again! This time I blame the GitHub web UI: |
These 3 commits from May 14 seem to have landed without going through review:
39e5c2b
e0fd5d5
68ceaae
I noticed because for the first and last there are wpt.fyi runs:
https://wpt.fyi/runs?sha=39e5c2b4a6da7d2a619364b556c5ec59a934c89b
https://wpt.fyi/runs?sha=68ceaae7aecf1afbc7f0698ee6ba8c6c7097363d
The total diff introduced by these commits:
@gsnedders @jugglinmike do either of you know what happened here? Doesn't branch protection prevent this from happening?
The text was updated successfully, but these errors were encountered: