Add Git hook intended for pre-push or pre-commit

1 files changed, 5 insertions, 0 deletions

diff --git a/README.md b/README.md
index 0a1a49f3..79c944fa 100644
--- a/README.md
+++ b/README.md
@@ -25,6 +25,11 @@ development tools such as yapf, flake8, mypy, pylint, pytest, and coverage.
 
 ## Getting Started
 
+Copy the sanity check script at least to the pre-push hook (optional also to
+the pre-commit hook):
+```
+cp git-hooks/sanity-check.sh .git/hooks/pre-push
+```
 Run
 ```
 git submodule init