Skip to content

chore(skills): update 4 skill source pins - #5358

Open
ryoppippi-nix-updater[bot] wants to merge 1 commit into
mainfrom
bot/update-skill-sources
Open

chore(skills): update 4 skill source pins#5358
ryoppippi-nix-updater[bot] wants to merge 1 commit into
mainfrom
bot/update-skill-sources

Conversation

@ryoppippi-nix-updater

@ryoppippi-nix-updater ryoppippi-nix-updater Bot commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

Automated refresh of the skill source registry.

Changes

Source Old New
agent-browser 01c1147d 471ab385
ast-grep c2a9bc15 6b668aa5
cmux d35187ec 71eb616d
gh-stack 8c9c8331 2bd699a5

Notes

Deliberately not auto-merged: these pins carry agent instructions, so the diff wants a human read.


This PR was automatically created by the skill source update workflow.

@ryoppippi-nix-updater
ryoppippi-nix-updater Bot force-pushed the bot/update-skill-sources branch 4 times, most recently from f788c9b to 285abd2 Compare September 7, 2026 07:00
@ryoppippi-nix-updater
ryoppippi-nix-updater Bot force-pushed the bot/update-skill-sources branch from 285abd2 to 34550c5 Compare September 8, 2026 06:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated Automated updates dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants