From 5de5f7bf26741eac316d29f5535ebcdf33e9e673 Mon Sep 17 00:00:00 2001 From: Jan Petykiewicz Date: Sun, 19 Apr 2026 00:14:23 -0700 Subject: [PATCH] [docs] update docs hook to report actions --- .githooks/post-push | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.githooks/post-push b/.githooks/post-push index 99d24b0..5288675 100755 --- a/.githooks/post-push +++ b/.githooks/post-push @@ -6,10 +6,12 @@ REMOTE_NAME="${1:-}" REMOTE_URL="${2:-}" if [[ "${MEANAS_DOCS_PUBLISHING:-0}" == "1" ]]; then + echo "[meanas docs hook] recursive docs publish detected; skipping" >&2 exit 0 fi if [[ "$REMOTE_NAME" != "origin" ]]; then + echo "[meanas docs hook] push was to remote '${REMOTE_NAME:-}' not 'origin'; skipping" >&2 exit 0 fi @@ -22,6 +24,7 @@ while read -r local_ref local_sha remote_ref remote_sha; do done if [[ "$publish_docs" != "1" ]]; then + echo "[meanas docs hook] no master->master update in push; skipping docs publish" >&2 exit 0 fi @@ -36,6 +39,11 @@ fi DOCS_SITE_URL="${DOCS_SITE_URL:-$(git config --get meanas.docsSiteUrl || true)}" export DOCS_SITE_URL +if [[ -n "$DOCS_SITE_URL" ]]; then + echo "[meanas docs hook] publishing docs for ${DOCS_SITE_URL}" >&2 +else + echo "[meanas docs hook] DOCS_SITE_URL is unset; building docs with relative site_url" >&2 +fi echo "[meanas docs hook] building docs after push to ${REMOTE_NAME} (${REMOTE_URL})" >&2 MEANAS_DOCS_PUBLISHING=1 ./make_docs.sh echo "[meanas docs hook] publishing docs-site branch" >&2