When this happens, we leave the PR in the failed state. So you should be able to go to the PR to see what caused the merge to be blocked.
David Bradford
07/31/2023, 2:13 PM
I saw your merge in our logs and took a quick look. I think what might be happening is that the "Graphite App" does not have permissions to merge, which is causing it to be blocked.
We have some docs here, on how to configure this. I'm also working on some improvements to our messaging in the app in the situation so it is more clear what is going on when this get hit.
t
Tao Bojlén
07/31/2023, 4:03 PM
we do have this configured! and most merges of ours do work.
Tao Bojlén
07/31/2023, 4:04 PM
there's a very high failed merge ratio, though -- >25% of merges fail. but when i go back to the PR in github, everything is green even after it's failed!
d
David Bradford
07/31/2023, 4:58 PM
I'll take a closer look and see if I can tell what is going on.