Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
git-gui: remove warning when deleting correctly merged remote branch
If the user wants to delete a remote branch and selects the correct "merged into" we should not warn that "Recovering deleted branches is difficult". For local branches we do the same already. Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net> Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
- Loading branch information