sindresorhus/refined-github



The issue has been closed
Drop `pr-branch-auto-delete` feature #2289
FloEdelmann posted onGitHub
It was implemented by GitHub: https://github.blog/changelog/2019-07-31-automatically-delete-head-branches-of-pull-requests/
On a repository's settings page, there is now a checkbox to enable the feature: