Code

git-gui: remove warning when deleting correctly merged remote branch
authorHeiko Voigt <hvoigt@hvoigt.net>
Mon, 15 Jun 2009 21:19:56 +0000 (23:19 +0200)
committerShawn O. Pearce <spearce@spearce.org>
Mon, 10 Aug 2009 15:47:34 +0000 (08:47 -0700)
commit2112be76508aa5d480a8cefeb634444acefcf598
tree100808e6b7487c54b186084a6a88e342282dbd8b
parent2ee94d141eb86c1e43453664eea7a45b37dbf72f
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>
lib/remote_branch_delete.tcl