From 6ff31279d38bd3b814f19b1fb63933544139f6cf Mon Sep 17 00:00:00 2001 From: Anders Betts Date: Sun, 20 Sep 2026 22:08:08 +0200 Subject: build: make gate with WERROR and a pre-push hook --- scripts/install-hooks.sh | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 scripts/install-hooks.sh (limited to 'scripts') diff --git a/scripts/install-hooks.sh b/scripts/install-hooks.sh new file mode 100755 index 0000000..02e0cfc --- /dev/null +++ b/scripts/install-hooks.sh @@ -0,0 +1,5 @@ +#!/bin/sh +set -eu +cd "$(dirname "$0")/.." +git config core.hooksPath .githooks +echo "git hooks: core.hooksPath=.githooks (pre-push runs 'make gate')" -- cgit v1.3