diff options
| author |  Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2012-01-16 16:46:09 +0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2012-01-16 16:26:25 -0800 |
| commit | c39852c18dc7efa794bbe20b10ecfe7038409727 (patch) | |
| tree | a67a6532e4d98df376e854c871fb4189eddb686a /Documentation/git-pull.txt | |
| parent | clone: write detached HEAD in bare repositories (diff) | |
| download | tgif-c39852c18dc7efa794bbe20b10ecfe7038409727.tar.xz | |
clone: factor out checkout code
Read HEAD from disk instead of relying on local variable
our_head_points_at, so that if earlier code fails to make HEAD
properly, it'll be detected.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-pull.txt')
0 files changed, 0 insertions, 0 deletions