| set -euo pipefail | |
| REPO_ROOT="$(cd "$(dirname "$0")/.." && pwd)" | |
| cd "$REPO_ROOT" | |
| OWNER=LAWLESS1987 | |
| NAME=triad | |
| # Create if missing | |
| if ! gh repo view "$OWNER/$NAME" >/dev/null 2>&1; then | |
| gh repo create "$OWNER/$NAME" --public --description "Mandatory three-leg agent memory: tombstone || covenant || JLens (shared task_id, no degrade)" --source . --remote origin --push | |
| else | |
| git remote remove origin 2>/dev/null || true | |
| git remote add origin "https://github.com/$OWNER/$NAME.git" | |
| git push -u origin main | |
| fi | |
| echo "PUSH_OK https://github.com/$OWNER/$NAME" | |