git-push
Installation
SKILL.md
Git Push
Publish local commits to origin — but only when the branch is current with the remote. If the remote moved, integrate first with git-sync, then push. A push is never forced.
Prerequisites
Commit first. If the working tree has uncommitted changes, run git-commit or report what is still dirty.
Workflow
Step 1: Verify repo and remote
git remote get-url origin
git branch --show-current
If no origin remote, stop: "No remote configured. Add one with: git remote add origin "