Skip to content

point to remote config docs #513

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 our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jun 13, 2025
Merged

point to remote config docs #513

merged 3 commits into from
Jun 13, 2025

Conversation

tonytrg
Copy link
Contributor

@tonytrg tonytrg commented Jun 13, 2025

Since the acces to the remote server and the startup differs, the configuration is handled differently than with the local version. Make sure to point that out.

@Copilot Copilot AI review requested due to automatic review settings June 13, 2025 13:46
@tonytrg tonytrg requested a review from a team as a code owner June 13, 2025 13:46
Copy link
Contributor

@Copilot Copilot AI 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 introduces a new “Configuration” section in the README that directs users to the remote server setup documentation.

  • Adds a “Configuration” heading under the remote server note
  • Links to the remote-server.md doc for remote GitHub MCP Server setup
Comments suppressed due to low confidence (1)

README.md:52

  • The relative link uses ../docs/remote-server.md, which may be incorrect from the repository root. It should point to docs/remote-server.md so the link resolves correctly.
Configuring the remote GitHub MCP Server differs from the local version, see: [Remote Server Documentation](../docs/remote-server.md).

jww3
jww3 previously approved these changes Jun 13, 2025
@jww3 jww3 self-requested a review June 13, 2025 13:54
Co-authored-by: John Wesley Walker III <81404201+jww3@users.noreply.github.com>
@tonytrg
Copy link
Contributor Author

tonytrg commented Jun 13, 2025

@jww3 my bad ❤️, verified it, the new path works

@tonytrg tonytrg merged commit 8562b1d into main Jun 13, 2025
16 checks passed
@tonytrg tonytrg deleted the tonytrg/add-remote-config-link branch June 13, 2025 13:58
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