Automatically delete head branches of pull requests

Repositories can now be set to delete the head branch of a pull request once it has merged into the base branch.