Use --detached worktrees

2025-08-05 14:13:27 -04:00
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -534,7 +534,7 @@ from_source() {
    execute rm -rf "$BUILD_DIR"
  fi
  execute git -C "$SRC_DIR" worktree prune --verbose
-  execute git -C "$SRC_DIR" worktree add "$BUILD_DIR" "$ref"
+  execute git -C "$SRC_DIR" worktree add --detached "$BUILD_DIR" "$ref"
  # Print commit info
  commit=$(git -C "$BUILD_DIR" rev-parse HEAD)