From 2243ffcc6a445d1953297949e8e944fdc3df6ed7 Mon Sep 17 00:00:00 2001 From: Petr Baudis Date: Thu, 25 Sep 2008 01:32:47 +0200 Subject: [PATCH] git-gui: Fix removing non-pushable remotes Git-gui does not add most of the remotes to the 'push' menu since they are missing the "Push" line in their remotespec. In that case, removing the remote would end up with an error. Signed-off-by: Petr Baudis Signed-off-by: Shawn O. Pearce --- lib/remote.tcl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/remote.tcl b/lib/remote.tcl index 1852247358..b92b429cf7 100644 --- a/lib/remote.tcl +++ b/lib/remote.tcl @@ -271,5 +271,6 @@ proc remove_remote {name} { delete_from_menu $remote_m.fetch $name delete_from_menu $remote_m.prune $name delete_from_menu $remote_m.remove $name - delete_from_menu $remote_m.push $name + # Not all remotes are in the push menu + catch { delete_from_menu $remote_m.push $name } } -- 2.11.4.GIT