repo_push
Push the current HEAD to your fork's origin remote after approval, enabling controlled delivery of changes for pull requests.
Instructions
Push the current HEAD to the specified remote/branch.
A valid ``approval_id`` must be provided.
Only pushing to 'origin' (the fork) is allowed.
The fork must be under the configured GitHub username.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| remote | No | origin | |
| approval_id | No | ||
| branch_name | No | ||
| workspace_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||