#!/bin/sh
set -eu
cd "$(dirname "$0")/.."
git config core.hooksPath .githooks
echo "git hooks: core.hooksPath=.githooks (pre-push runs 'make gate')"