This repository was archived by the owner on Sep 25, 2023. It is now read-only.
This repository was archived by the owner on Sep 25, 2023. It is now read-only.
Bulldozer failed to merge ready PR #22
Description
Current state
Sometimes the following happens:
- PR checks are finished,
- Webhook is called,
- Bulldozer asks for the status PRs,
- GitHub returns "PR checks are not yet finished"
- Bulldozer says "OK, I'll try next time"
Desired state
Work around this inconsistency if it happens more often that once per a year.