Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Tommy/server-config-docs#1495

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
tommaso-moro merged 14 commits intomainfromtommy/docs-tools-update
Nov 28, 2025
Merged

Tommy/server-config-docs#1495

tommaso-moro merged 14 commits intomainfromtommy/docs-tools-update
Nov 28, 2025

Conversation

@tommaso-moro
Copy link
Contributor

@tommaso-morotommaso-moro commentedNov 27, 2025•
edited
Loading

  • Adds a new md file in /docs with comprehensive guidance on server configuration, and examples.
  • Fixes theremote-server.md docs to include mention of the new toolX-MCP-Tools header

Rendered markdown

CopilotAI review requested due to automatic review settingsNovember 27, 2025 16:40
@tommaso-morotommaso-moro requested a review froma team as acode ownerNovember 27, 2025 16:40
Copilot finished reviewing on behalf oftommaso-moroNovember 27, 2025 16:41
Copy link
Contributor

CopilotAI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

Pull request overview

This PR adds comprehensive server configuration documentation and updates existing docs to reference the newX-MCP-Tools header capability.

  • Adds a new comprehensive configuration guide with examples for all configuration modes
  • Updates remote-server.md to document theX-MCP-Tools header
  • Adds cross-references from README and remote-server docs to the new configuration guide

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 6 comments.

FileDescription
docs/server-configuration.mdNew comprehensive guide with configuration examples for toolsets, individual tools, read-only mode, dynamic discovery, and lockdown mode with side-by-side remote/local examples
docs/remote-server.mdDocuments the newX-MCP-Tools header and adds link to the new configuration guide
README.mdAdds link to the new server configuration guide in the tool configuration section

You can also share your feedback on Copilot code review for a chance to win a $100 gift card.Take the survey.

@tommaso-morotommaso-moro changed the titleTommy/tool-specific-config-docsTommy/server-config-docsNov 27, 2025
Copy link

@xemii43251-jpgxemii43251-jpg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Copy link

@xemii43251-jpgxemii43251-jpg left a comment•
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

privacysandbox.com

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

Build

tonytrg
tonytrg previously approved these changesNov 28, 2025
Copy link
Contributor

@tonytrgtonytrg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

💯

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
tommaso-moroand others added5 commitsNovember 28, 2025 09:52
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
tonytrg
tonytrg previously approved these changesNov 28, 2025
Co-authored-by: Tony Truong <tonytrg@github.com>
@tommaso-morotommaso-moro merged commit9c73e88 intomainNov 28, 2025
17 checks passed
@tommaso-morotommaso-moro deleted the tommy/docs-tools-update branchNovember 28, 2025 10:17
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

Copilot code reviewCopilotCopilot left review comments

@tonytrgtonytrgtonytrg approved these changes

+1 more reviewer

@xemii43251-jpgxemii43251-jpgxemii43251-jpg requested changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@tommaso-moro@tonytrg@xemii43251-jpg
[8]ページ先頭
©2009-2025 Movatter.jp