Closed jlewi closed 1 year ago
There is a race condition because in between when we fetch the PR status and when we try to enable auto merge the PR might have become ready to merge and enabling auto merge will fail. In this case we should fall back to try to merge it directly.
There is a race condition because in between when we fetch the PR status and when we try to enable auto merge the PR might have become ready to merge and enabling auto merge will fail. In this case we should fall back to try to merge it directly.