diff options
| author | Petr Baudis <pasky@suse.cz> | 2008-09-25 01:32:47 +0200 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2008-09-30 12:59:37 -0700 |
| commit | 2243ffcc6a445d1953297949e8e944fdc3df6ed7 (patch) | |
| tree | 13eead1cd37726969985293de4c676c55b7f70f3 /git-gui/lib/commit.tcl | |
| parent | 902e2bb5b7473765acc388d051f5c1c7d42015d0 (diff) | |
| download | git-2243ffcc6a445d1953297949e8e944fdc3df6ed7.tar.gz | |
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>
Diffstat (limited to 'git-gui/lib/commit.tcl')
0 files changed, 0 insertions, 0 deletions