Home / Servers / GitHub API / copilot_spaces_add_collaborator_for_user
Add a collaborator to a Copilot Space for a user
An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.
Add a collaborator to a Copilot Space for a user Adds a collaborator to a specific Copilot Space owned by a user. The authenticated user must be the owner of the space or have admin access to the space. Team collaborators are not supported for… [POST /users/{username}/copilot-spaces/{space_number}/collaborators]
Name on the gateway: github_api__copilot_spaces_add_collaborator_for_user · may change things.
Parameters
| Name | Type | Description |
|---|---|---|
username required | string | The handle for the GitHub user account. |
space_number required | integer | The unique identifier of the Copilot Space. |
actor_type required | User | Team | The type of actor (must be User for user-owned spaces; Team will be rejected). |
actor_identifier required | string | The username of the collaborator. The numeric user ID is also accepted. |
role required | reader | writer | admin | The role to grant to the collaborator. |
How to call it
Through the Smart Gateway, any client can run it by name with call_tool, or let the gateway find it with search_tools:
{
"name": "github_api__copilot_spaces_add_collaborator_for_user",
"arguments": {
"username": "…",
"space_number": 0,
"actor_type": "…",
"actor_identifier": "…",
"role": "…"
}
}Or connect the GitHub API server directly, which lists 1,221 tools including this one:
claude mcp add --transport http hj-github-api https://mcp.hjlabs.in/mcp/github-api \
--header "Authorization: Bearer YOUR_API_KEY"Try asking
Use the add a collaborator to a copilot space for a user tool with username set to ….