diff options
Diffstat (limited to 'proposals')
-rwxr-xr-x | proposals/check_index | 22 | ||||
-rwxr-xr-x | proposals/reindex.py | 2 |
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: |