Add a new tool to find closing PRs for issues#816

lumaxis wants to merge 14 commits into

maingithub/github-mcp-server:mainfrom

lumaxis/add-tool-issue-closing-prgithub/github-mcp-server:lumaxis/add-tool-issue-closing-prCopy head branch name to clipboard