gitlab ci for a basic test

This test just tries to make sure reindex has been run,
and that mdbook passes.

2 files changed, 23 insertions, 1 deletions

diff --git a/proposals/check_index b/proposals/check_index
new file mode 100755
index 0000000..61db50d
--- /dev/null
+++ b/proposals/check_index
@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+#
+# Give an error if somebody forgot to run ./reindex.py.
+#
+# Only works on a clean git checkout.
+
+set -e -u -o pipefail -x
+
+TOPLEVEL=$(dirname "$0")/..
+
+if ! git diff --quiet ; then
+    echo "Git repository is not clean. Cannot procede."
+    exit 2
+fi
+
+cd "$TOPLEVEL/proposals"
+./reindex.py
+
+if ! git diff --quiet ; then
+    echo "Proposal index is not up-to-date. Run ./reindex.py to regenerate it." >&2
+    exit 1
+fi
diff --git a/proposals/reindex.py b/proposals/reindex.py
index 476ed19..8bc9729 100755
--- a/proposals/reindex.py
+++ b/proposals/reindex.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 import sys
 if sys.version_info[0] < 3: