Skip to content

Commit

Permalink
git-gui: Fix removing non-pushable remotes
Browse files Browse the repository at this point in the history
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>
  • Loading branch information
Petr Baudis authored and Shawn O. Pearce committed Sep 30, 2008
1 parent 902e2bb commit 2243ffc
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion lib/remote.tcl
Original file line number Diff line number Diff line change
Expand Up @@ -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 }
}

0 comments on commit 2243ffc

Please sign in to comment.