diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-08-07 22:55:45 -0700 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-08-09 23:38:51 -0700 |
| commit | 46b1c7c03c3ae3bf17aa87bf9ae2f9fb38d08789 (patch) | |
| tree | e0d408444aa1d3bc83d93d0c1e3b8ce31a50df6e /git-pull-script | |
| parent | 972b6fe746f0d9a3ea13118d80d9371a9ff68dba (diff) | |
| download | git-46b1c7c03c3ae3bf17aa87bf9ae2f9fb38d08789.tar.gz | |
Teach git push .git/branches shorthand
Although it is uncertain if we would keep .git/branches for
long, the shorthand stored there can be used for pushing if it
is host:path/to/git format, so let's make use of it. This does
not use git-parse-remote because that script will be rewritten
quite a bit for updated pulling.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-pull-script')
0 files changed, 0 insertions, 0 deletions