git gui: keep selected branch when remote is changed in push dialog

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 }
 }