git checkout to work tree of different user code example

Example 1: git worktree

git worktree add <path> <branch>

Example 2: git worktree prune

$ mkdir a
$ cd a
$ git init
$ git commit --allow-empty --allow-empty-message -m ''
$ git worktree add ../b
$ ls .git/worktrees/
b
$ rm -rf ../b
$ git worktree prune
$ ls .git/worktrees/
$