From 9d04278a4d0fcd784e7b9998caa94cff6cbdca8a Mon Sep 17 00:00:00 2001 From: Heiko Voigt Date: Sat, 12 Feb 2011 17:44:58 +0100 Subject: 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 Signed-off-by: Pat Thoyts --- git-gui.sh | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'git-gui.sh') diff --git a/git-gui.sh b/git-gui.sh index 886719a8ce..d96df63ab0 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -139,6 +139,10 @@ if {$_trace >= 0} { set _trace 0 } +# variable for the last merged branch (useful for a default when deleting +# branches). +set _last_merged_branch {} + proc shellpath {} { global _shellpath env if {[string match @@* $_shellpath]} { -- cgit v1.3