Skip to content

fix(ci): 🛡️ rsync --checksum for Push Skills Repo - #874

Merged
binggg merged 1 commit into
mainfrom
fix/push-skills-repo-rsync-checksum
Aug 4, 2026
Merged

fix(ci): 🛡️ rsync --checksum for Push Skills Repo#874
binggg merged 1 commit into
mainfrom
fix/push-skills-repo-rsync-checksum

Conversation

@binggg

@binggg binggg commented Aug 4, 2026

Copy link
Copy Markdown
Member

Summary

  • Align push-skills-repo.yaml with PR fix(ci): 🛡️ rsync --checksum for Push Plugin Repos #872: rsync -a --checksum, git add -A + git diff --cached, and a web-development version guardrail against skills HEAD.
  • Same root-cause class as Push Plugin Repos: same-size version bumps (e.g. 2.25.52.25.6) can be skipped by rsync size+mtime quick check, leaving git status --porcelain empty while the dedicated skills repo lags.
  • Keeps existing whitelist cleanup (setup-cloudbase-openclaw / local-*); does not switch to --delete.

Test plan

  • CI on this PR is green
  • After merge, workflow_dispatch Push Skills Repository once and confirm log line web-development version source=… skills_HEAD=… staged=…
  • Optional: confirm no silent partial sync on next release version bump

Made with Cursor

Align Push Skills Repo with the plugin-repo fix: content-based rsync,
staged cached-diff detection, and HEAD version guardrail for same-size
version bumps that previously yielded silent no-op syncs.

Co-authored-by: Cursor <cursoragent@cursor.com>
@binggg
binggg merged commit 1dddc89 into main Aug 4, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant