After installing the browser plugin, the GitHub Web-GUI no longer offers a checkbox to delete original branches of PRs but just kills them off (and then I can "Undo" the action). For many workflows it makes sense, however for some of ours it does not. Can this feature be changed to showing the checkbox like original GitHub does, just perhaps pre-ticking it to keep Refined GitHub's default behavior expected by its long-time users?

I got a bit lost in the long list of options I can configure for the extension in my browser, so not sure if there is a setting for this behavior already, or if the branch deletion is currently hardcoded.

Thanks a lot for the nifty extension :)