consolidating repos tools#1283

tonytrg wants to merge 7 commits intomaingithub/github-mcp-server:mainfrom

tonytrg-repos-consolidationgithub/github-mcp-server:tonytrg-repos-consolidationCopy head branch name to clipboard