Inadvertently merged commits to main without a PR

[kosiew]

I accidentally merged 0154c03 to main.
I have reversed it with 709c918

I had a local branch that tracked upstream/main.
I accidentally applied a patch here, ran commit, pushed and it updated main without a PR.

[kylebarron]

I do this all the time in my own projects 😄. Should we add branch protection for main? We might need to turn on "apply for maintainers too"

[timsaucer]

Yes, main should be protected against push. We do not, however, want to re-enable the rule requiring maintainer approval before merges. That slowed everything down too much when I was the only maintainer doing the reviews.

[kylebarron]

That's fine with me. I think there should be a way in github settings to prevent push to main while allowing merging without approvals.