Currently there is a script that will auto merge all PRs every minute. I wonder if it's a good idea, though. It kills the relation between The Project and the

Currently there is a script that will auto merge all PRs every minute. I wonder if it's a good idea, though. It kills the relation between The Project and the contributors :)