odoo/odoo#237800 / odoo/odoo#237801
When the first PR was closed, the mergebot enqueued the deletion for the branch, and didn't take in account that the branch was still being used by an other PR.
When processing a deletion item, the mergebot should probably check that there is no other PR with the same label falling short of the cutoff.