Skip to content
This repository was archived by the owner on May 22, 2026. It is now read-only.

delete useless skill - #3343

Merged
Yuchao Yan (msyyc) merged 2 commits into
mainfrom
python-useless-skill-delete
Feb 14, 2026
Merged

delete useless skill#3343
Yuchao Yan (msyyc) merged 2 commits into
mainfrom
python-useless-skill-delete

Conversation

@msyyc

@msyyc Yuchao Yan (msyyc) commented Feb 13, 2026

Copy link
Copy Markdown
Member

for microsoft/typespec#9696

after #3340 merged, we have a script to sync test stuff which is much more efficient than prompt.

@msyyc
Yuchao Yan (msyyc) force-pushed the python-useless-skill-delete branch from a225f8e to 2612471 Compare February 13, 2026 10:07
@msyyc
Yuchao Yan (msyyc) marked this pull request as ready for review February 14, 2026 02:30
@msyyc
Yuchao Yan (msyyc) enabled auto-merge (squash) February 14, 2026 02:30
@msyyc
Yuchao Yan (msyyc) merged commit cc7669f into main Feb 14, 2026
15 checks passed
@msyyc
Yuchao Yan (msyyc) deleted the python-useless-skill-delete branch February 14, 2026 03:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant