commit_and_push
Combine all staged edits into one commit and push to a GitHub branch. Avoids conflicts by checking remote head; if mismatch, requires pull and re-stage before retry.
Instructions
Flush every staged edit as a single commit on the configured branch (or a new one via branch / asNewBranch). Conflict-checked: refuses if the remote head moved since the working copy was loaded — pull (Refresh in plugin) and re-stage edits, then retry. Currently supports GitHub only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | ||
| message | Yes | ||
| asNewBranch | No |