nextra-update

nextra-update

Mirror the user-facing docs from the mojo-apps repo's nextra/content/ into this repo's skills/mojo-app-docs/references/, so the bundled skill reflects what docs.mojoapp.ai is currently publishing.

Prerequisites

• You are at the repo root: agent-skills/ with skills/mojo-app-docs/references/ visible.
• The mojo-apps repo is checked out locally. By default it's expected at /Users/Hana/Agents/mojo/repos/mojo-apps. Override with MOJO_APPS_PATH=/some/other/path if needed.
• Working tree of agent-skills is clean.

If anything's missing, stop and tell the user.

Step 1 — Make sure mojo-apps is up to date

MOJO_APPS="${MOJO_APPS_PATH:-/Users/Hana/Agents/mojo/repos/mojo-apps}"
NEXTRA="$MOJO_APPS/nextra/content"

if [ ! -d "$NEXTRA" ]; then
  echo "ERROR: $NEXTRA does not exist. Set MOJO_APPS_PATH or clone mojo-apps."
  exit 1
fi

# Bring nextra/content to the tip of its branch
git -C "$MOJO_APPS" fetch
git -C "$MOJO_APPS" status --short

If the mojo-apps working tree is dirty, ask the user whether they want to:

(a) sync from whatever's on disk right now (use as-is), (b) git stash + git pull first, then sync from the freshly-pulled state.

Don't decide for them — local dirty trees often have in-progress edits.

Step 2 — Record the source SHA (for the commit message)

NEXTRA_SHA=$(git -C "$MOJO_APPS" rev-parse --short HEAD)
echo "Source SHA: $NEXTRA_SHA"

Step 3 — Mirror with rsync

TARGET="$(git rev-parse --show-toplevel)/skills/mojo-app-docs/references"

rsync -av --delete \
  "$NEXTRA/" \
  "$TARGET/"

Notes on the flags:

• --delete removes files in $TARGET that no longer exist in $NEXTRA. This is what you want — the references should be an exact mirror, not an accumulation.
• The trailing slash on $NEXTRA/ matters. With it, rsync copies the contents into $TARGET/. Without it, rsync creates $TARGET/content/.

Step 4 — Diff preview

cd "$(git rev-parse --show-toplevel)"
git status --short skills/mojo-app-docs/references
git diff --stat skills/mojo-app-docs/references | tail -20