Closed chdsbd closed 1 year ago
Sometimes we're blocked from merging for an unknown reason. We should retry when merging to prevent queue issues.
I think this problem is a result of some internal GitHub defect.
I've deployed this change in production
Sometimes we're blocked from merging for an unknown reason. We should retry when merging to prevent queue issues.
I think this problem is a result of some internal GitHub defect.