How would you feel if a maintainer pushed a formatting change/simple lint fix to your PR before merging it?
Often I receive PRs that I'm happy to approve, but they just need one tiny tweak.
I've always felt like it's rude to just push to someone's branch, but it would improve merge times by a bunch