-
-
Notifications
You must be signed in to change notification settings - Fork 41
Closed as not planned
Labels
Description
I got a new failure today, possibly related to #583:
In one of the two PRs there was a message about the base branch being modified, which might be the reason of the messages:
Sorry, I can't merge this PR. Reason:
Base branch was modified. Review and try the merge again..
There are however repeated messages about required checks and being unable to merge the PR even after it was merged.
See:
