git-gui: Allow users to delete branches merged upstream.
authorShawn O. Pearce <spearce@spearce.org>
Sun, 21 Jan 2007 07:21:45 +0000 (02:21 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 21 Jan 2007 07:54:26 +0000 (02:54 -0500)
commit0a25f93cdaee5ef4da67c4b1db2cb06bfc88e84a
tree2447a61952c9f0a10b3b050fe200211caf9917f5
parent887412d4e84c8249987a686aded6a7eab4345cb8
git-gui: Allow users to delete branches merged upstream.

Most of the time when you are deleting branches you want to delete
those which have been merged into your upstream source.  Typically
that means it has been merged into the tip commit of some tracking
branch, and the current branch (or any other head) doesn't matter.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh