server.json
2 fields changed
- description
-
GitHub tools for coding agents: issues, project boards, pull requests, releases and Actions.GitHub tools for coding agents: issues, boards, pull requests, repositories, releases and Actions. - version
-
0.12.00.15.0