Thank you Brian and Junio for the extensive explanation! Now all makes sense and the new (for me) "git worktree" feature seems promising. I wanted to have $GIT_COPY without .git folder but a .git file does not bother me. Previously I have checkouted one file this way and then it seemed to work, confusion raised when I tried to switsh to full repo checkout.
