Added header for push start

sergioteula · sergioteula · commit ac4602637b40 · 2022-10-07T19:53:23.000+02:00
diff --git a/.githooks/pre-push b/.githooks/pre-push
@@ -1,4 +1,9 @@
 #! /bin/bash
 
+ROOT_DIR="$(git rev-parse --show-toplevel)"
+source "${ROOT_DIR}/scripts/helpers"
+
 ./scripts/check_isort
 ./scripts/check_black
+
+header "Proceeding with push"
