Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Ignore invalid pull requests when doing a sync #379
It might be possible to make bors work when a pull request is opened against a fork, and then the fork gets deleted without the PR getting closed, but that seems like such a weird corner case...
But here it is happening: https://forum.bors.tech/t/bors-is-not-syncing/155
In any case, one broken PR shouldn't prevent all the other ones from syncing.