sindresorhus/refined-github
Do you want to work on this issue?
You can request for a bounty in order to promote it!
`pr-branch-auto-delete` should warn the user before it happens #4604
fregante posted onGitHub
Related:
- https://github.com/sindresorhus/refined-github/issues/3636
- https://github.com/sindresorhus/refined-github/issues/2267
- https://github.com/sindresorhus/refined-github/issues/3964
Possible solutions:
- add "☑️ Attempt to delete
branch
after merge" checkbox in merge box similar tosync-pr-commit-title
- Add a small timeout after merge: "Refined GitHub will delete the branch in 5…4…3…2…1… seconds"
- add a temporary timeline event informing the user AFTER it was merged, to inform the user about the feature so that they can disable it if they don't like it