fix: use commondir to resolve git directory in worktrees#13045

kim-em merged 1 commit intomasterleanprover/lean4:masterfrom

fix-worktree-git-revisionleanprover/lean4:fix-worktree-git-revisionCopy head branch name to clipboard