Test repository for GitHub's new feature to automatically delete head branches after merged PRs.
- 👥 Head branches are deleted under the name of the person merging the PR
- ⚡️ It works very fast, usually 1 second after merging the branch
- 🔒 Protected branches won't be deleted