Tommy/projects tools enhancement#857

tommaso-moro wants to merge 5 commits intogithub:maingithub/github-mcp-server:mainfrom

tommaso-moro:tommy/projects-tools-enhancementtommaso-moro/github-mcp-server:tommy/projects-tools-enhancementCopy head branch name to clipboard