A Github app to keep your repository up to date (update PRs when base change, delete merged branch, etc.)