#!/bin/sh
#
# Pre-push hook script that ensures all tests and code checks pass
vagrant ssh -c ". activate \
&& invoke type-checking test --quiet --html-validation check-code-style --full"
