diff options
author | Petr Baudis <pasky@suse.cz> | 2008-09-24 23:32:47 (GMT) |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2008-09-30 19:59:37 (GMT) |
commit | 2243ffcc6a445d1953297949e8e944fdc3df6ed7 (patch) | |
tree | 13eead1cd37726969985293de4c676c55b7f70f3 | |
parent | 902e2bb5b7473765acc388d051f5c1c7d42015d0 (diff) | |
download | git-2243ffcc6a445d1953297949e8e944fdc3df6ed7.zip git-2243ffcc6a445d1953297949e8e944fdc3df6ed7.tar.gz git-2243ffcc6a445d1953297949e8e944fdc3df6ed7.tar.bz2 |
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>
-rw-r--r-- | lib/remote.tcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/remote.tcl b/lib/remote.tcl index 1852247..b92b429 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 } } |