Publish party-position estimates and validation materials

This commit is contained in:
Armin Seimel
2026-08-13 15:26:21 +00:00
commit 7666224565
119 changed files with 87813 additions and 0 deletions
+24
View File
@@ -0,0 +1,24 @@
#!/usr/bin/env bash
set -euo pipefail
repo_root="$(git rev-parse --show-toplevel)"
hook="$repo_root/.git/hooks/pre-push"
if [[ -e "$hook" && ! -f "$hook" ]]; then
printf 'Cannot install guard: %s is not a regular file.\n' "$hook" >&2
exit 1
fi
if [[ -f "$hook" ]] && ! grep -Fq 'scripts/check_public_content.sh' "$hook"; then
printf 'Cannot install guard: existing pre-push hook is not managed by this repository.\n' >&2
exit 1
fi
cat > "$hook" <<'EOF'
#!/usr/bin/env bash
set -euo pipefail
repo_root="$(git rev-parse --show-toplevel)"
exec bash "$repo_root/scripts/check_public_content.sh"
EOF
chmod +x "$hook"
printf 'Installed public-content pre-push guard.\n'