[nyanpasu64]

But if you push a bad commit to main without making a branch or PR first, then CI tells you about your mistake... after main is already broken and not "deployable any time"!

[methyl]

Just thinking out loud: why in that case we couldn't have automatic revert of the push?