#!/bin/bash
export GIT_PAGER=cat PAGER=cat
cd /tmp/agents
echo "=== PR804 meta ==="
gh pr view 804 -R gbharg/agents --json headRefName,headRefOid,mergeable,mergeStateStatus,state -q '"head="+.headRefName+" sha="+.headRefOid+" mergeable="+(.mergeable|tostring)+" mergeState="+.mergeStateStatus+" state="+.state'
echo "=== fetch + checkout PR branch ==="
gh pr checkout 804 -R gbharg/agents 2>&1 | tail -5
echo "=== now on ==="
git branch --show-current
git log --oneline -1
echo "=== git config user ==="
git config user.name
git config user.email
echo "DONE_S3"