Automatically Merge GitHub Pull Requests

The app is shutting down soon