Disconnect pipeline repository
disconnect_pipeline_repositoryDisconnect a repository from Ankra Pipelines: no push, pull request, schedule or merge train starts a run for it any more. Its run history is kept and connecting it again revives it. Refused while a run is queued or running. Address the repository with exactly one of repository_id, application_id, or owner and repo. Needs pipelines.manage.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "disconnect_pipeline_repository"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | Repository name, with owner. | |
| owner | No | Repository owner (organisation or user), with repo, instead of repository_id. | |
| provider | No | Narrows owner and repo when the same repository is connected on two providers. | |
| repository_id | No | The connected repository's id, from list_pipeline_repositories. | |
| application_id | No | An application whose linked repository to address, instead of repository_id. |