repo_add_remote
Add a new Git remote to a repository in a workspace using its name and URL, enabling collaboration and push/pull operations.
Instructions
Add a new remote to the repository.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| url | Yes | ||
| name | Yes | ||
| workspace_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||