Hi, would it be possible to update jgit to version 7? it supports working with git worktrees, which the current version used here doesn't https://projects.eclipse.org/projects/technology.jgit/releases/7.0.0