Recently it happened that the bot did not merge a PR, even though the automerge label was applied, the PR was approved, and all CI check passed. When it works, it usually merges a PR within a few minutes after the checks pass.
In that particular case the bot just posted a comment and removed the automerge label, after which I merged the PR manually without making any changes to it, I just clicked the Merge button.
It would be helpful to know why the bot failed to merge a PR, e.g. was it just an internal glitch or was there something else that reviewers should be aware of.
Recently it happened that the bot did not merge a PR, even though the
automergelabel was applied, the PR was approved, and all CI check passed. When it works, it usually merges a PR within a few minutes after the checks pass.In that particular case the bot just posted a comment and removed the
automergelabel, after which I merged the PR manually without making any changes to it, I just clicked the Merge button.It would be helpful to know why the bot failed to merge a PR, e.g. was it just an internal glitch or was there something else that reviewers should be aware of.