Re: [PATCH v2 13/19] pull: implement pulling into an unborn branch

Paul Tan pyoka...@gmail.com writes: /** + * Pulls into void by branching off merge_head. + */ +static int pull_into_void(unsigned char merge_head[GIT_SHA1_RAWSZ], + unsigned char curr_head[GIT_SHA1_RAWSZ]) +{ It is not wrong per-se, but is rather unusual (and misleading) to

[PATCH v2 13/19] pull: implement pulling into an unborn branch

b4dc085 (pull: merge into unborn by fast-forwarding from empty tree, 2013-06-20) established git-pull's current behavior of pulling into an unborn branch by fast-forwarding the work tree from an empty tree to the merge head, then setting HEAD to the merge head. Re-implement this behavior by