git_remote
Run git commands on a remote server via SSH with shortcuts for common operations such as pull, status, log, branch, and diff.
Instructions
Run git commands on a remote server via SSH. Shortcut for common git operations (pull, status, log, branch, diff) on remote repositories. Provide the connection alias and repo path.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| connection | Yes | Connection alias (uses its SSH config) | |
| repo_path | Yes | Path to git repo on remote server (e.g. /opt/odoo/odoo-19.0) | |
| operation | Yes | Git operation to perform | |
| args | No | Additional git arguments (e.g. '--oneline -10' for log, branch name for checkout) | |
| custom_command | No | Full git command (only when operation=custom) | |
| forward_agent | No | Forward SSH agent for GitHub auth (auto-enabled for pull/fetch/clone) |