projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 902e2bb) | patch
git-gui: Fix removing non-pushable remotes
authorPetr Baudis <pasky@suse.cz>
Wed, 24 Sep 2008 23:32:47 +0000 (01:32 +0200)
committerShawn O. Pearce <spearce@spearce.org>
Tue, 30 Sep 2008 19:59:37 +0000 (12:59 -0700)
commit2243ffcc6a445d1953297949e8e944fdc3df6ed7
tree13eead1cd37726969985293de4c676c55b7f70f3tree | snapshot
parent902e2bb5b7473765acc388d051f5c1c7d42015d0commit | diff
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>
lib/remote.tcl diff | blob | history
Git—the stupid content tracker