#!/bin/sh
# govrail: pre-push hook installed by `gov init --hooks`; `gov uninstall` removes it.
# Runs the project's gate DAG (the defaultMode from gates.json) before the push
# leaves your machine. note-presence reviews the work being pushed: its auto
# base picks the commits ahead of upstream when the tree is clean. Bypass for
# one push: `git push --no-verify`.
exec gov run
