fix: build scripts use fetch+reset instead of pull to avoid ref lock errors
git pull fails when refs are stale from concurrent builds. Switch to git gc + git fetch + git reset --hard origin/branch for robustness. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
@@ -53,7 +53,9 @@ if [ "$DO_PULL" = "1" ]; then
|
|||||||
cd "$BASE_DIR/data/source"
|
cd "$BASE_DIR/data/source"
|
||||||
git reset --hard HEAD 2>/dev/null || true
|
git reset --hard HEAD 2>/dev/null || true
|
||||||
git clean -fd 2>/dev/null || true
|
git clean -fd 2>/dev/null || true
|
||||||
git pull origin feat/android-voip-client 2>&1 | tail -3
|
git gc --prune=now 2>/dev/null || true
|
||||||
|
git fetch origin feat/android-voip-client 2>&1 | tail -3
|
||||||
|
git reset --hard origin/feat/android-voip-client 2>/dev/null || true
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# Clean Rust if requested
|
# Clean Rust if requested
|
||||||
|
|||||||
@@ -54,7 +54,9 @@ if [ "$DO_PULL" = "1" ]; then
|
|||||||
cd "$BASE_DIR/data/source"
|
cd "$BASE_DIR/data/source"
|
||||||
git reset --hard HEAD 2>/dev/null || true
|
git reset --hard HEAD 2>/dev/null || true
|
||||||
git clean -fd 2>/dev/null || true
|
git clean -fd 2>/dev/null || true
|
||||||
git pull origin feat/android-voip-client 2>&1 | tail -3
|
git gc --prune=now 2>/dev/null || true
|
||||||
|
git fetch origin feat/android-voip-client 2>&1 | tail -3
|
||||||
|
git reset --hard origin/feat/android-voip-client 2>/dev/null || true
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ "$DO_CLEAN" = "1" ]; then
|
if [ "$DO_CLEAN" = "1" ]; then
|
||||||
|
|||||||
Reference in New Issue
Block a user