Pull Request Overview

This PR updates the GitHub MCP Server instructions to make search-related tool guidance more flexible and consistent with a remote server implementation. The changes reorganize the instruction text and modify the guidance for search tools to be more generic.

• Simplified the opening description from "GitHub platform" to just "GitHub"
• Reorganized instruction sections to put context management before tool selection guidance
• Updated search tool guidance to reference any tools containing 'search' in their name rather than specifically 'search_*' tools

_{Tip: Customize your code reviews with copilot-instructions.md.Create the file orlearn how to get started.}