Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

`pr-branch-auto-delete` should warn the user when it happens

See original GitHub issue

Possible solutions:

add “☑️ Attempt to delete branch after merge” checkbox in merge box similar to sync-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

Issue Analytics

State:
Created 2 years ago
Reactions:3
Comments:5 (2 by maintainers)

Top GitHub Comments

2reactions

fregantecommented, Mar 9, 2022

Would the ability to (optionally) disable this feature for forks be useful?

No options available.

For instance, if I merge a PR from a collaborator, it feels a little odd for me to delete a branch on their repo.

I suppose that if such situation is common then we could exclude them by default, but that already isn’t possible unless you have write access to their repo.

0reactions

fregantecommented, Jun 4, 2022

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

This can copy the JSX from:

https://github.com/refined-github/refined-github/pull/5643

Top Results From Across the Web

"Automatically delete the branch right after merging a PR, if ...

Automatically deletes the branch right after merging a PR, if possible. In both the readme and the settings page, you can filter/search “delete” ......

git - What happens to existing Pull Requests when the target ...

1 Answer 1 · 6. Looks like this has changed, because now the GitHub interface does let you delete the branch, and closes...

What happens to the Git branch when a pull request is declined?

I believe the documentation says that nothing happens to the underlying repository. What happens if the branch is later deleted? Will the pull...

[Azure DevOps] Delete branch in pull request on the web was ...

If you clone repository first, then you create Pull Request and delete the feature branch by checking that option, your local client will...

Complete, abandon, or revert pull requests - Azure Repos

Respond to comments and complete pull requests in Azure Repos. Learn about completion options, auto-completion, and abandoning or reverting ...