Closed
Description
Sometimes Auto-Merge isn’t being enabled and it isn’t clear why. The triggers are working for most PRs, but a few are getting into a state which require a manual merge. I expect this is an issue with the policy service itself either running into rate limits or internal errors