amonakov, 6 months ago @simontatham there's also 'git worktree add' if your git is not too old.
@simontatham there's also 'git worktree add' if your git is not too old.