Skip to content

Fix stale docs preview cleanup #4145

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sacpis merged 2 commits into from
Mar 12, 2026
+10 −20
Merged

Fix stale docs preview cleanup #4145

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b198750
fix a bug in cleanup to review the folders history instead of querying
sacpis Mar 11, 2026
62f2966
Merge branch 'main' into fix_clean_up_old_pr_job
sacpis Mar 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
30 changes: 10 additions & 20 deletions .github/workflows/clean_up.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -217,25 +217,15 @@ jobs:
# 5 days ago timestamp
cutoff=$(date -u -d '5 days ago' +%s)

# Fetch open PRs created before the cutoff date
stale_prs=$(gh pr list \
--repo "${{ github.repository }}" \
--state open \
--limit 200 \
--json number,createdAt \
--jq ".[] | select((.createdAt | fromdate) < $cutoff) | .number")

if [ -z "$stale_prs" ]; then
echo "No stale PR previews to delete."
exit 0
fi

echo "Stale PRs (open > 5 days): $stale_prs"

for pr in $stale_prs; do
folder="pr-$pr"
echo "Deleting preview folder $folder (PR #$pr)."
git rm -r "$folder" --ignore-unmatch || true
# Go over existing pr-* folders and remove any whose last
# git commit is older than the cutoff date.
for folder in pr-*/; do
[ -d "$folder" ] || continue
last_commit=$(git log --format="%at" -1 -- "$folder")
if [ -z "$last_commit" ] || [ "$last_commit" -lt "$cutoff" ]; then
echo "Removing stale preview folder $folder (last updated: ${last_commit:-never})."
git rm -r "$folder" --ignore-unmatch || true
fi
done

# If nothing matches, skip commit/push
Expand All @@ -244,5 +234,5 @@ jobs:
exit 0
fi

git commit -m "Cleaning up stale docs preview for PRs open > 5 days."
git commit -m "Cleaning up stale docs previews (not updated in > 5 days)."
git push
Loading