jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-19 09:57:42 -05:00
Code Issues Projects Releases Wiki Activity

throw errors when translations fail to fetch during build (#58781)

Browse Source
This commit is contained in:
Evan Bonsignori
2025-12-09 15:25:38 -08:00
committed by GitHub
parent abe27e98c6
commit f797ca1f6e
1 changed files with 19 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/deployments/production/build-scripts/clone-or-use-cached-repo.sh
View File

@@ -19,9 +19,21 @@ clone_or_use_cached_repo() {
cd "$repo_name"
# Fetch latest changes
git fetch origin "$branch"
git checkout "$branch"
git pull origin "$branch"
if ! git fetch origin "$branch"; then
echo "❌ Failed to fetch repository '$repo_name'"
cd ..
return 1
fi
if ! git checkout "$branch"; then
echo "❌ Failed to checkout branch '$branch' in repository '$repo_name'"
cd ..
return 1
fi
if ! git pull origin "$branch"; then
echo "❌ Failed to pull repository '$repo_name'"
cd ..
return 1
fi
echo "Updated repository '$repo_name' with the latest changes from $branch."
@@ -30,7 +42,10 @@ clone_or_use_cached_repo() {
echo "Cloning repository '$repo_name' from branch '$branch'..."
# We only need the most recent change for production deploys, so we use --depth 1
git clone --depth 1 --branch "$branch" "https://${GITHUB_TOKEN}@github.com/github/$repo_url.git" "$repo_name"
if ! git clone --depth 1 --branch "$branch" "https://${GITHUB_TOKEN}@github.com/github/$repo_url.git" "$repo_name"; then
echo "❌ Failed to clone repository '$repo_name'"
return 1
fi
fi
echo "Repository '$repo_name' is up to date."