Since October 26, some pull requests using the rebase merge method are refused by the merge queue or by the merge action with the message "Pull request must be rebased manually", even though they have no conflict. We have deployed a first fix: pull requests are no longer removed from the queue when the base branch moves. Until the remaining part is fixed, an affected pull request can be unblocked by re-triggering the rule that queues or merges it, for example by removing and re-adding its queue label. If the rule isn't triggered by a label, add or remove any label on the pull request, then comment "@Mergifyio refresh". Next update by 09:00 UTC tomorrow.
·