set_git_remote
Set or update the upstream Git remote (GitHub/GitLab) for an app. Supports public repos (no token) and private repos (with a Personal Access Token).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| app | Yes | App ID (UUID) or subdomain | |
| url | Yes | HTTPS URL of the remote repository (e.g. https://github.com/user/repo.git) | |
| token | No | Personal Access Token for private repos and push access (optional) | |
| branch | No | Branch name to use for pull/push (e.g. "main", "master"). If omitted, auto-detects from remote. |