Skip to content

Conversation

@chrisreddington
Copy link
Contributor

This pull request introduces several updates across documentation and configuration files based on recent changes in Visual Studio Code and GitHub Copilot. There are also additions for clarity, image updates (where UI has evolved), and additional notes added throughout the docs.

Notably, this update:

  • Moves the MCP approach from the local GitHub MCP server to the remote one, removing some of the additional configuration steps with PAT tokens, and preferring the OAuth approach.
  • Updates the flask-endpoint.instructions.md file to use relative file references (per the docs).
  • Adds a suggestion in exercise 3 that if Copilot edits do not yield the desired result, switch to Copilot agent mode.

Documentation Improvements

  • Updated file references to use relative paths and bold formatting for better readability in .github/instructions/flask-endpoint.instructions.md and docs/3-custom-instructions.md. [1] [2] [3]
  • Enhanced guidance on using Copilot coding agent workflows, including pre-configured setups and manual workflow triggers in docs/1-copilot-coding-agent.md. [1] [2]
  • Clarified instructions for creating repositories and assigning issues to Copilot in docs/0-prereqs.md and docs/1-copilot-coding-agent.md. [1] [2]

MCP Server Configuration

  • Transitioned from local Docker-based MCP server setup to a remote HTTP-based configuration in .vscode/mcp.json and docs/2-mcp.md. This simplifies authentication by replacing a need for personal access tokens with OAuth 2.0. [1] [2]
  • Updated documentation to reflect the new MCP server configuration and removed outdated instructions related to local server setup.

Miscellaneous Updates

  • Made minor formatting adjustments and added clarifications to improve user experience in various documentation files. [1] [2]

@chrisreddington chrisreddington requested review from GeekTrainer and Copilot and removed request for Copilot July 11, 2025 16:02
Copy link
Contributor

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 pull request updates documentation and configuration files to reflect recent changes in Visual Studio Code and GitHub Copilot capabilities. The primary focus is transitioning from local Docker-based MCP server setup to a remote HTTP-based configuration, simplifying authentication from personal access tokens to OAuth 2.0.

Key changes:

  • Migrated MCP server configuration from local Docker setup to remote HTTP-based GitHub MCP server
  • Updated instruction files to use relative file references for better portability
  • Enhanced documentation with clearer guidance and additional troubleshooting notes

Reviewed Changes

Copilot reviewed 8 out of 23 changed files in this pull request and generated 2 comments.

Show a summary per file
File Description
.vscode/mcp.json Simplified MCP server configuration to use remote HTTP endpoint instead of local Docker
.github/instructions/flask-endpoint.instructions.md Updated file references to use relative paths
docs/0-prereqs.md Enhanced repository creation instructions with clearer guidance
docs/1-copilot-coding-agent.md Added formatting improvements and additional context about MCP integration
docs/2-mcp.md Major update replacing Docker-based setup with OAuth-authenticated remote server
docs/3-custom-instructions.md Improved formatting, added troubleshooting note, and streamlined test workflow
docs/4-copilot-agent-mode-vscode.md Minor formatting improvements and clarified pull request handling
docs/5-reviewing-coding-agent.md Updated firewall messaging and added optional manual testing section

Copy link
Collaborator

@GeekTrainer GeekTrainer left a comment

Choose a reason for hiding this comment

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

I'm about a 6/10 on feeling strongly about the suggested updates all up. Otherwise, 🚢

chrisreddington and others added 3 commits July 14, 2025 22:17
@chrisreddington chrisreddington merged commit 80074dc into github-samples:main Jul 14, 2025
2 checks passed
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