Merge rules

[wipfli]

Normally we do reviews and only merge pull requests with at least one approval.

But since this repo is a bit outdated, @boldtrn will do some clean up and merge without requiring reviews.

@boldtrn please close this issue once we go back to normal mode reviews.

Thanks in advance and happy 2024!

[boldtrn]

Thanks for the trust @wipfli and happy 2024 🎉.

With that said, I am always happy about reviews.

[boldtrn]

I will close this for now as the repo has become way more active by now.