Junio C Hamano 46b1c7c03c 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>

2005-08-09 23:38:51 -07:00

1.3 KiB

Executable File

Raw Blame History

View Raw