README regeneration hook

.githooks/pre-commit

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+# run welcome README update when README.md changed
+if git diff --cached --name-only | grep -qxF README.md; then
+  python3 .github/generate_welcome_readme.py
+  git add .github/README_welcome.md
+fi

scripts/setup-git-hooks.sh

@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+if ! git status >/dev/null 2>&1; then
+  echo "error: this script must be run from the repository root" >&2
+  exit 1
+fi
+
+git config core.hooksPath .githooks
+echo "Configured git to use .githooks/pre-commit (run this once per clone)."