Apply bootstrapit.sh

This commit is contained in:
Manuel Barkhau 2018-11-04 21:34:53 +01:00
parent 6416df7094
commit d951483a83
26 changed files with 1260 additions and 80 deletions

12
scripts/pre-push-hook.sh Normal file
View file

@ -0,0 +1,12 @@
#!/bin/bash
set -euo pipefail;
make fmt;
git diff --exit-code --stat src/;
git diff --exit-code --stat test/;
git diff --exit-code --stat scripts/;
git diff --exit-code --stat requirements/;
make lint;
make test;