#!/usr/bin/env bash
#
# The same gate CI runs, minus the release build, before a push leaves the machine.
#
# Install once per clone (hooks are not committed as active hooks on purpose — a repository should
# not be able to run code on your machine without you saying so):
#
#   git config core.hooksPath .githooks
#
# In an emergency: git push --no-verify
set -euo pipefail

exec "$(git rev-parse --show-toplevel)/tools/verify.sh"
