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.

Sign up for GitHub

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

If upstream PRs get closed without merge, bugs aren't closed as well #219

Closed

whimboo opened this issue Sep 25, 2018 · 1 comment

Collaborator

whimboo commented Sep 25, 2018

If there is an upstream PR a new bug has been created for (like https://bugzilla.mozilla.org/show_bug.cgi?id=1492636), wpt-sync doesn't seem to close the bug when the upstream PR gets closed.

Member

jgraham commented May 31, 2019

This should be fixed by 9a430fd

jgraham closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment