author | Junio C Hamano <junkio@cox.net> | |
Mon, 8 Aug 2005 05:55:45 +0000 (22:55 -0700) | ||
committer | Junio C Hamano <junkio@cox.net> | |
Wed, 10 Aug 2005 06:38:51 +0000 (23:38 -0700) | ||
commit | 46b1c7c03c3ae3bf17aa87bf9ae2f9fb38d08789 | |
tree | e0d408444aa1d3bc83d93d0c1e3b8ce31a50df6e | tree | snapshot |
parent | 972b6fe746f0d9a3ea13118d80d9371a9ff68dba | commit | diff |
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>
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>
git-push-script | diff | blob | history |