push

# 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

**Trigger keywords:** push, force push, force-with-lease, remote, upstream, tracking branch, rejected push, push --force, git push origin, push tags, remote add

## Prerequisites

This skill assumes:

- **Git is installed** (verify with `git --version`)
- **Repository initialized** (local repo with `.git/` directory)
- **Remote configured** (typically `origin` for GitHub/GitLab/Bitbucket)
- **Basic Git knowledge** (commits, branches, remotes)

For Git installation help, see the **setup** skill.

## Quick Start

### Basic Push

```bash
# Push current branch to remote (if upstream is configured)
git push

# Push and set upstream for first-time push
git push -u origin feature-branch

# Push specific branch to remote
git push origin main
```

### Safe Force Push

```bash
# Safe force push (recommended - only overwrites if no one else pushed)
git push --force-with-lease

# Safest force push (recommended for maxi