docs: add git pre-push hook

docs/git/hooks/pre-push

@@ -0,0 +1,22 @@
+#!/bin/sh
+
+# Runs a simple check before pushing. In particular, this checks
+# if templates were regenerated and style is correct.
+# Put this file to `.git/hooks/`.
+
+echo "Running pre-push git hook."
+
+# Runs check for common simple errors before pushing
+if ! make templates_check &> /dev/null
+then
+    echo >&2 "Templates not updated, run 'make templates'. Not pushing."
+    exit 1
+fi
+
+if ! make style &> /dev/null
+then
+    echo >&2 "Style invalid, run style make commands. Not pushing."
+    exit 2
+fi
+
+echo "pre-push hook passed. Pushing."