豆豆友情提示:这是一个非官方 GitHub 代理镜像,主要用于网络测试或访问加速。请勿在此进行登录、注册或处理任何敏感信息。进行这些操作请务必访问官方网站 github.com。 Raw 内容也通过此代理提供。
Skip to content

chore: Implement uninstall_extension tool#796

Merged
OrKoN merged 1 commit intomainfrom
implement-uninstall-extension-tool
Jan 20, 2026
Merged

chore: Implement uninstall_extension tool#796
OrKoN merged 1 commit intomainfrom
implement-uninstall-extension-tool

Conversation

@nattallius
Copy link
Copy Markdown
Collaborator

No description provided.

@nattallius nattallius requested a review from OrKoN January 19, 2026 12:28
Comment thread src/main.ts Outdated
@nattallius nattallius force-pushed the implement-uninstall-extension-tool branch from 413696f to 5625b93 Compare January 19, 2026 13:47
@nattallius nattallius force-pushed the implement-uninstall-extension-tool branch from 5625b93 to a17cd71 Compare January 19, 2026 14:17
@OrKoN OrKoN added this pull request to the merge queue Jan 20, 2026
Merged via the queue into main with commit 24d15a9 Jan 20, 2026
20 checks passed
@OrKoN OrKoN deleted the implement-uninstall-extension-tool branch January 20, 2026 07:04
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.

2 participants