git-push

name	git-push
description	Commit and push code to GitHub. Use when user asks to push, commit and push, or deploy code to git/GitHub.

Push local commits to a GitHub repository using the stored PAT (classic token) for atlas-aitraining2u.

Auth

• PAT stored at: ~/.claude/credentials/github-pat
• GitHub user: atlas-aitraining2u
• Token type: Classic (repo scope — works on owned + collaborator repos)

Workflow

1. Check State

cd REPO_DIR
git status
git log --oneline -5
git remote -v

• Confirm there are changes to commit (if not already committed)
• Identify the remote URL and branch

2. Commit (if uncommitted changes exist)

• Stage relevant files (never stage .env, credentials, or secrets)
• Write a concise commit message summarizing the changes
• Always append Co-Authored-By: Claude Opus 4.6 <[e-mail]>

3. Push

Read the PAT and temporarily inject into the remote URL, push, then restore:

PAT=$(cat ~/.claude/credentials/github-pat)
REMOTE_URL=$(git remote get-url origin)

# Extract owner/repo from HTTPS or SSH URL
# HTTPS: https://github.com/OWNER/REPO.git
# SSH: [e-mail]:OWNER/REPO.git
REPO_PATH=$(echo "$REMOTE_URL" | sed -E 's#(https://github.com/|[e-mail]:)##' | sed 's/.git$//')

# Push with PAT
git remote set-url origin "https://atlas-aitraining2u:${PAT}@github.com/${REPO_PATH}.git"
git push origin HEAD
PUSH_EXIT=$?

# Always restore clean remote URL (no token)
git remote set-url origin "https://github.com/${REPO_PATH}.git"

# Report result
if [ $PUSH_EXIT -eq 0 ]; then
  echo "Pushed successfully to https://github.com/${REPO_PATH}"
else
  echo "Push failed (exit $PUSH_EXIT)"
fi

4. Verify

git log --oneline -3
git status

Rules

• NEVER leave the PAT in the remote URL after pushing — always restore the clean URL
• NEVER echo or display the PAT in output
• NEVER commit .env, credentials, tokens, or secret files
• NEVER force push unless user explicitly requests it
• If push fails with 403, check: collaborator access, PAT expiry, repo visibility
• Default branch: push to whatever branch is currently checked out
• If user says "push" without specifying a repo, use the current working directory

Arguments

• $ARGUMENTS = optional: repo path, branch name, or commit message
• If no repo path given, use current directory
• If no commit message given and there are uncommitted changes, draft one from the diff