Can't merge a PR to aesop master

Stream: nightly-testing

[Kim Morrison]

I've prepared https://github.com/leanprover-community/aesop/pull/239 to move aesop to v4.22.0-rc2, but I am blocked by:
Screenshot 2025-07-01 at 9.13.28 AM.png

I am going to go hunting for a setting I can disable to make this go away. :-) @Jannis Limperg, if I break something, while fixing it, please make sure I'm still able to merge maintenance PRs!

[Jannis Limperg]

Should be fixed, sorry about that. I misinterpreted a Github option.

[Kim Morrison]

Looks good now, thanks!

[Kim Morrison]

For reference, what was the option?

[Jannis Limperg]

"Restrict updates" in the branch rules. I thought it would only apply to direct pushes.