description of git worktrees, in particular their usefulness for the workflow around openjdk backports