There is very little to be gained by having to approve those PRs, and it is a lot of UI interaction to get them approved. They still will need to be merged manually regardless, so they might as well be approved by a bot.
