#!/usr/bin/env bash set -euo pipefail ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" ORIGIN_URL="$(git -C "$ROOT_DIR" remote get-url origin)" DEFAULT_WIKI_URL="$ORIGIN_URL" if [[ "$DEFAULT_WIKI_URL" == *.git ]]; then DEFAULT_WIKI_URL="${DEFAULT_WIKI_URL%.git}.wiki.git" else DEFAULT_WIKI_URL="${DEFAULT_WIKI_URL}.wiki.git" fi WIKI_URL="${WIKI_REMOTE:-$DEFAULT_WIKI_URL}" TMP_DIR="$(mktemp -d)" trap 'rm -rf "$TMP_DIR"' EXIT git clone "$WIKI_URL" "$TMP_DIR/wiki" rm -rf "$TMP_DIR/wiki/"*.md cp -R "$ROOT_DIR/wiki/." "$TMP_DIR/wiki/" git -C "$TMP_DIR/wiki" add -A if git -C "$TMP_DIR/wiki" diff --cached --quiet; then echo "wiki: no changes" exit 0 fi git -C "$TMP_DIR/wiki" commit -m "Update wiki (generated from repo)" git -C "$TMP_DIR/wiki" push