Automatically delete branch when PR is merged. Contribute to chaspy/delete-branch-bot development by creating an account on GitHub.