Skip to content

Brush up SKILL.md#23

Merged
unknwon merged 1 commit intomainfrom
jc/brush-up-skill
May 1, 2026
Merged

Brush up SKILL.md#23
unknwon merged 1 commit intomainfrom
jc/brush-up-skill

Conversation

@unknwon
Copy link
Copy Markdown
Contributor

@unknwon unknwon commented May 1, 2026 •
edited
Loading

  1. make corrections on existing SKILL.md
  2. add instructions to ask agents to keep it up-to-date going forward

@unknwon
Copy link
Copy Markdown
Contributor Author

unknwon commented May 1, 2026

This change is part of the following stack:

Change managed by git-spice.

@unknwon unknwon marked this pull request as ready for review May 1, 2026 19:48
@unknwon
Copy link
Copy Markdown
Contributor Author

unknwon commented May 1, 2026

Merging ahead as low risk and net improvement, happy to address post-merge feedback!

@unknwon unknwon merged commit 90ebe9c into main May 1, 2026
3 checks passed
@unknwon unknwon deleted the jc/brush-up-skill branch May 1, 2026 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@unknwon