Closing and reopening PR makes mergify continually close it

[howardjohn]

Example: istio/istio#15129

is this intended behavior? It seems maybe a race condition where it sees it is closed and goes to delete the branch, but by then it is already open

[jd]

There are a few implicit rules on backports, such as deleting the base branch that Mergify has created once the PR is closed.

You closed the PR, so Mergify took action to delete the branch it created, which made GitHub close the PR as you can see in the UI.

There might be a race condition or an event that should have been ignored here as you were fighting with it. I let @sileht comment :)

[howardjohn]

Thanks for the explanation. I forgot to mention after that image it remains opened which led me to believe there may be some race. Either way not a huge concern since we can just reopen it eventually