ren worker folder adding orig, mv new one into root
This commit is contained in:
@@ -110,7 +110,11 @@ done
|
||||
|
||||
# Resolve the repo's real git dir (handles submodules, whose .git is a file).
|
||||
GITDIR="$(git -C "$REPO_DIR" rev-parse --absolute-git-dir 2>/dev/null)" || skip "not a git repo: $REPO_DIR"
|
||||
RESOLVED_SHA="$(git --git-dir="$GITDIR" rev-parse --quiet --verify "$COMMIT^{commit}" 2>/dev/null)" || \
|
||||
# Via resolve_pin, so a task pinned before a history rewrite keeps being checked
|
||||
# rather than silently skipping every run once its SHA stops resolving.
|
||||
# shellcheck source=lib/resolve-pin.sh
|
||||
. "$(dirname "$0")/lib/resolve-pin.sh"
|
||||
RESOLVED_SHA="$(resolve_pin "$REPO_DIR" "$COMMIT" "$ROOT/task-shared/commit-maps" "$MEMBER" 2>/dev/null)" || \
|
||||
skip "pinned commit $COMMIT not found in $REPO_DIR"
|
||||
|
||||
# --- Throwaway git state ------------------------------------------------------
|
||||
|
||||
Reference in New Issue
Block a user