push

Push — Quick Git Push

Push local commits to the remote repository.

Current repository status

!`git status`

Commits to push

!`git log @{u}..HEAD --oneline 2>/dev/null || git log --oneline -5`

Steps

1. Based on the above git status determine:
   • If there are uncommitted changes → notify the user that there are uncommitted changes (reminder only, continue execution)
2. Based on the above "Commits to push" determine:
   • If there are no commits to push → notify the user that there are no commits to push,end immediately
3. Determine the push target:
   • If $ARGUMENTS is provided → use git push $ARGUMENTS
   • Otherwise → use git push
4. The Bash tool must be calledExecute the push command (simulated output is prohibited)
5. Show the push result to the user

Output

Directly show the real Bash output; do not manually concatenate or simulate.