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 <pasky@suse.cz>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>

diff --git a/lib/remote.tcl b/lib/remote.tcl
index 1852247358fcf390a8f996ed6a14df0f141bdd0d..b92b429cf766d525402047175ed0a69af015c682 100644 (file)
--- 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 }
 }