tree 732a63391953b43db6a149b585822e2bcd57f9f6
parent 91aacda85a91192a9f66a0f175d739f77971412f
author Nguyễn Thái Ngọc Duy <pclouds@gmail.com> 1417335887 +0700
committer Junio C Hamano <gitster@pobox.com> 1417460416 -0800

checkout: support checking out into a new working directory

"git checkout --to" sets up a new working directory with a .git file
pointing to $GIT_DIR/worktrees/<id>. It then executes "git checkout"
again on the new worktree with the same arguments except "--to" is
taken out. The second checkout execution, which is not contaminated
with any info from the current repository, will actually check out and
everything that normal "git checkout" does.

Helped-by: Marc Branchaud <marcnarc@xiplink.com>
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>