GH stacked PRs can't be merged with Mergify @mergifyio

[gkanapathy]

Hi. We created some GH stacks, and the PRs can't be merged using Mergify (https://github.com/Mergifyio), which we use on a couple of our repos. What's worse, even if we unstack the PRs, push additional commits to the unstacked PRs, refresh Mergify state, they still won't merge. We had to bypass the Mergify queue and admin-merge the PRs.

I realize that this might be mostly or partially a Mergify problem, but I guess:

• is this something they have the tools/APIs to be able to address and work with eventually?
• is is possible to prevent creation of stacked github PRs on a repo-by-repo basis?