diff options
| author | bors-servo <servo-ops@mozilla.com> | 2022-11-09 11:45:23 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-09 11:45:23 -0500 |
| commit | ace9b32b1c18fb5a2fa3118f47aea98e9965ed67 (patch) | |
| tree | 0853345581fad894e66f0f56ca2b509a989abf0d /python/servo/lints/wpt_lint.py | |
| parent | d9ec469b80e078b0389f162e17cd215ab0b58e50 (diff) | |
| parent | 9ca4e290887a7436c7d21d3a4105faea367b3878 (diff) | |
| download | servo-ace9b32b1c18fb5a2fa3118f47aea98e9965ed67.tar.gz servo-ace9b32b1c18fb5a2fa3118f47aea98e9965ed67.zip | |
Auto merge of #29042 - servo:sync-perms, r=jdm
Work around WPT sync permission errors
Getting the permissions right to push the synced changes to servo-wpt-sync/servo and then open a PR was a bit of a nightmare. Instead, we can just push to a new branch on servo/servo and open the PR from there. Fixes #28920.
Diffstat (limited to 'python/servo/lints/wpt_lint.py')
0 files changed, 0 insertions, 0 deletions