git_push
Push committed changes from main to origin/main after reviewing pending changes. Requires a commit message.
Instructions
Execute git push command from "main" to "origin/main" in project path "/app/repo".
Push command: git push origin main:main --progress
⚠️ REQUIREMENT: You MUST call get_pending_changes to review changes before using this tool.
USAGE:
First call get_pending_changes to review pending changes
Then call this tool with the commit message parameter. Example: {message: "Update project files"}
Please provide the commit message in English language.
NOTE: If the push result contains a branch merge URL (such as a pull request URL), please output it to the user. If you can open a browser, you may also automatically open the URL.
The review status is reset after each push attempt (success or failure).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| message | Yes | Commit message in English language. Example: {message: "Update project files"} |