add_collaborator
Invite GitHub users as collaborators on a shared repo with specific permissions, enabling them to push changes and expand your team.
Instructions
Invite one or more people as collaborators on the shared repo so they can push to it. Use this when the repo already exists and you just want to grant partners access (provision() does this too, but only as part of first-time setup). This is how you build a team of more than two.
github_username : one or more GitHub users, comma- or space-separated (e.g. "jarmstrong158" or "alice, bob, carol"). permission : pull | triage | push | maintain | admin (default push).
Each invited user must accept the GitHub invitation before they can push.
Requires the gh CLI authenticated with admin on the repo. Returns the
clone URL to hand the new collaborators.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| permission | No | push | |
| github_username | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |