Skip to content

chore(skills): re-vendor the documents that moved upstream - #111

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
skills/refresh-vendored-documents
Open

github-actions[bot] wants to merge 1 commit into
mainfrom
skills/refresh-vendored-documents

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

The embedded copies of these skills fell behind their source repositories: devup-ui.

Those copies are what devup_skills install writes on a machine with no network, so a stale one installs rules the upstream project no longer states. cargo test cannot see this: it checks the manifest against the documents in this tree, which agree with each other while both are behind.

Produced by node scripts/refresh-skills.mjs in the scheduled skill-drift job. Review the diff as you would any skill change - it is upstream prose, not generated code.

Automated by the scheduled skill-drift job. Moved: devup-ui.
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.

0 participants