Skip to content

/ servo

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

Jump to bottom

WPT sync error? #23317

Closed
gterzian opened this issue May 3, 2019 · 2 comments
Closed

WPT sync error? #23317

gterzian opened this issue May 3, 2019 · 2 comments
Labels
A-testing

Comments

@gterzian
Copy link
Member

@gterzian gterzian commented May 3, 2019 •
edited

Is there a reason why this PR is still marked as "do not merge yet"? web-platform-tests/wpt#15224

I think there was an error syncing when the PR here merged, see #22802 (comment)

Maybe that's the problem?
@gterzian gterzian added the A-testing label May 3, 2019
@jdm
Copy link
Member

@jdm jdm commented May 3, 2019

Shoot, I indeed missed the sync error reported in the servo PR.
@jdm
Copy link
Member

@jdm jdm commented May 3, 2019

Fixed by manually merging the remote PR after verifying that the contents were identical.
@jdm jdm closed this May 3, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-testing
Projects
None yet
Milestone
No milestone
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
@jdm @gterzian
You can’t perform that action at this time.