Skip to content

[WIP] Document tool definitions annotation support#516

Closed
Copilot wants to merge 1 commit intoadd-tool-definitions-annotationfrom
copilot/sub-pr-515
Closed

[WIP] Document tool definitions annotation support#516
Copilot wants to merge 1 commit intoadd-tool-definitions-annotationfrom
copilot/sub-pr-515

Conversation

Copy link

Copilot AI commented Feb 4, 2026

Thanks for the feedback on #515. I've created this new PR, which merges into #515, to address your comment. I will work on the changes and keep this PR's description up to date as I make progress.

Original PR: #515
Triggering comment (#515 (comment)):

@copilot re-review the changes after addressed feedback


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

@vercel
Copy link

vercel bot commented Feb 4, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
docs-website Ready Ready Preview, Comment Feb 4, 2026 0:52am

Request Review

@lujunsan
Copy link
Contributor

lujunsan commented Feb 4, 2026

Closing as unneeded

@lujunsan lujunsan closed this Feb 4, 2026
Copilot AI requested a review from lujunsan February 4, 2026 00:54
Copilot stopped work on behalf of lujunsan due to an error February 4, 2026 00:54
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