Also, I suggest to exclude some … • exclude the compatibility checks (Griffe and oasdiff, two workflows), so that the PR can be reviewed when these may, or may not, be considered separately • or, maybe, exclude all non-required CI; they’re not required for various reasons which mean they can fail “harmlessly”

Also this was because of an unresolved thread. This should probably be excluded too. Unresolved threads is there for the Agent, to force it to address everything, and to prevent it from auto-merging (when we will do that). It’s not really for humans; occasionally, for humans I think maybe leaving something unsolved is useful, for further reviewers to discuss / check… Or so it used to be. Who knows. As we automate more… who has time or 👀 for that… 😅