diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-22 11:30:16 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-05-28 10:34:23 +0200 |
commit | d2126f1389da71890d33029f1f123e4bf0f76f22 (patch) | |
tree | 1884faa11cf52addd975f03d7b6ddce1d2c4eab3 /README.md | |
parent | b6041e623af65a08c34f711241c784d23e33a4e3 (diff) |
Add Git hook intended for pre-push or pre-commit
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |