Reduce context usage for getting a Pull Request #2017

tommaso-moro wants to merge 3 commits intomaingithub/github-mcp-server:mainfrom

tommy/reduce-get-pr-contextgithub/github-mcp-server:tommy/reduce-get-pr-contextCopy head branch name to clipboard