git-gui: Implemented local branch deletion.
commit887412d4e84c8249987a686aded6a7eab4345cb8
authorShawn O. Pearce <spearce@spearce.org>
Sun, 21 Jan 2007 07:14:00 +0000 (21 02:14 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 21 Jan 2007 07:54:25 +0000 (21 02:54 -0500)
tree3815a815889f0d0e4ade3873c9a24a9b267830e4
parentbd29ebc3927780c2bc6c91abb12054a283201c15
git-gui: Implemented local branch deletion.

Users can now delete a local branch by selecting from a list of
available branches.  The list automatically does not include
the current branch, as deleting the current branch could be quite
dangerous and should not be supported.

The user may also chose to have us verify the branches are fully
merged into another branch before deleting them.  By default we
select the current branch, matching 'git branch -d' behavior,
but the user could also select any other local branch.

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