Use --detached worktrees

This commit is contained in:
2025-08-05 14:13:27 -04:00
부모 4890aa192d
커밋 251b54937b

파일 보기

@@ -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)