diff options
| author | Petr Baudis <pasky@suse.cz> | 2008-09-24 22:44:01 +0200 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2008-09-30 12:59:18 -0700 |
| commit | ba6485e05d43abf66e6b651a41b1ddc511b0e5eb (patch) | |
| tree | f7519a2886c0b2cf48594ca3a6e8b85886ef3a64 /git-gui.sh | |
| parent | 8329bd07250e0b26b76105d299b6153a68c3c404 (diff) | |
| download | git-ba6485e05d43abf66e6b651a41b1ddc511b0e5eb.tar.xz | |
git-gui: Add support for adding remotes
When a remote is being added, it can also be automatically either fetched
or initialized and pushed; this patch adds capability for initializing
of local and ssh repositories. This also of course leaves a lot of space
for further customization features, like individually turning the
initialization phase on/off or tuning attributes of the remote
repository; I consider that out of scope of this patch, however.
Signed-off-by: Petr Baudis <petr.baudis@novartis.com>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-gui.sh')
| -rwxr-xr-x | git-gui.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index ecc3b630ed..ae9832c879 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -2449,6 +2449,10 @@ if {[is_enabled transport]} { menu .mbar.remote .mbar.remote add command \ + -label [mc "Add..."] \ + -command remote_add::dialog \ + -accelerator $M1T-A + .mbar.remote add command \ -label [mc "Push..."] \ -command do_push_anywhere \ -accelerator $M1T-P |