git worktree gotchas

git worktrees are no longer a niche tool, but they still come with some gotchas — like the fact that, in a worktree, .git is a file, not a directory.