Git Push

Comprehensive guidance for Git push operations, from basic pushes to force push safety protocols and remote management.

Overview

This skill provides complete guidance for Git push operations, emphasizing safety protocols (especially for force pushes), remote management, and troubleshooting common push scenarios. It complements the git-commit skill (which handles commit creation) by focusing exclusively on push operations and remote synchronization.

When to Use This Skill

This skill should be used when:

• Pushing commits - Basic push operations to remote repositories
• Force pushing - Rewriting history with safety protocols (force-with-lease)
• Pushing tags - Annotated tags, lightweight tags, tag workflows
• Managing remotes - Adding, removing, renaming, configuring remote repositories
• Troubleshooting pushes - Rejected pushes, conflicts, authentication issues
• Upstream configuration - Setting up tracking branches, push.autoSetupRemote
• Branch protection - Understanding protected branches and push restrictions