Add git hooks to tools

- Place these in your .git/hooks/ directory
2020-03-17 06:13:36 +03:00
parent 816833bac0
commit 96b1ba4b04
6 changed files with 12 additions and 2 deletions
--- a/tools/hooks/post-commit
+++ b/tools/hooks/post-commit
@@ -0,0 +1,2 @@
+#!/bin/bash
+./tools/get_version.sh