git-gui: always default to the last merged branch in remote delete
authorHeiko Voigt <hvoigt@hvoigt.net>
Sat, 12 Feb 2011 16:44:58 +0000 (17:44 +0100)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Sun, 13 Feb 2011 00:47:24 +0000 (00:47 +0000)
commit9d04278a4d0fcd784e7b9998caa94cff6cbdca8a
tree938dcfee522603ddc900db0d74ccbe501dd0468c
parent8b92658206c3fb7d23fdacd626667985bf4c50b4
git-gui: always default to the last merged branch in remote delete

This is useful if you are directly working together with other
developers pushing feature branches on a shared remote. You typically
push feature branches to the remote so others can review. Once they are
satisfied and the branch is merged into the main branch it needs to be
deleted on the server.

Since we did not yet have a preselected default branch in the remote
delete dialog lets use the last merged branch if it is found on the
server.

Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
git-gui.sh
lib/merge.tcl
lib/remote_branch_delete.tcl