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

chore: experimental devtools-on-devtools support#51

Merged
OrKoN merged 2 commits intomainfrom
orkon/devtools
Oct 10, 2025
Merged

chore: experimental devtools-on-devtools support#51
OrKoN merged 2 commits intomainfrom
orkon/devtools

Conversation

@OrKoN
Copy link
Copy Markdown
Collaborator

@OrKoN OrKoN commented Sep 17, 2025

Allows using the MCP server for the devtools development.

@OrKoN OrKoN changed the title orkon/experimental-devtools chore: experimental devtools Sep 17, 2025
@OrKoN OrKoN force-pushed the orkon/devtools branch 5 times, most recently from 80f7b84 to 2722080 Compare October 10, 2025 13:54
@OrKoN OrKoN changed the title chore: experimental devtools chore: experimental devtools-on-devtools support Oct 10, 2025
@OrKoN OrKoN force-pushed the orkon/devtools branch 2 times, most recently from fd741a6 to fc3874a Compare October 10, 2025 13:57
@OrKoN OrKoN marked this pull request as ready for review October 10, 2025 13:58
@OrKoN OrKoN requested a review from jackfranklin October 10, 2025 13:58
@OrKoN OrKoN enabled auto-merge (squash) October 10, 2025 14:12
@OrKoN OrKoN merged commit 2982195 into main Oct 10, 2025
17 checks passed
@OrKoN OrKoN deleted the orkon/devtools branch October 10, 2025 14:17
AlinaVarkki pushed a commit that referenced this pull request Oct 13, 2025
Allows using the MCP server for the devtools development.
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