diff options
author | Junio C Hamano <gitster@pobox.com> | 2008-10-15 02:32:20 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-10-17 22:26:20 +0400 |
commit | b0ad11ea165e07308fc02a5091efbe2e2d22237c (patch) | |
tree | f5c94bd5fe1e1af1afc472c1123e3aa2f9ee70a0 /builtin-fetch.c | |
parent | 8ee5d73137f355c21e8d4db365ae8d301e067395 (diff) |
pull: allow "git pull origin $something:$current_branch" into an unborn branch
Some misguided documents floating on the Net suggest this sequence:
mkdir newdir && cd newdir
git init
git remote add origin $url
git pull origin master:master
"git pull" has known about misguided "pull" that lets the underlying fetch
update the current branch for a long time. It also has known about
"git pull origin master" into a branch yet to be born.
These two workarounds however were not aware of the existence of each
other and did not work well together. This fixes it.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin-fetch.c')
0 files changed, 0 insertions, 0 deletions