#!/bin/bash
set -uo pipefail
cd /home/claude/repos/gbharg-agents
echo "===== fetch branch ====="
git fetch origin feat/ai-codex-json-parse-robust 2>&1
echo "===== local vs remote ====="
git log --oneline -1 feat/ai-codex-json-parse-robust 2>&1
git log --oneline -1 origin/feat/ai-codex-json-parse-robust 2>&1
echo "===== force push with lease ====="
git push --force-with-lease origin feat/ai-codex-json-parse-robust 2>&1
echo "DONE_PUSH"