Authorize GitHub deployment
micro_github_linkCreates an OIDC binding and writes a micro.github.json project identity file to link a GitHub repository to a Micro app for owner-approved authentication.
Instructions
Create an owner-approved OIDC binding and write the non-secret micro.github.json project identity file.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"repository": "<repository>",
"ref": "<ref>",
"slug": "<slug>"
},
"name": "micro_github_link"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ref | Yes | ||
| path | No | Micro project directory; defaults to the server working directory | |
| slug | Yes | ||
| repository | Yes | ||
| environment | No | production |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ok | Yes | ||
| json | No | ||
| stderr | Yes | ||
| stdout | Yes | ||
| command | Yes | ||
| exitCode | Yes |