From 533a9a48eee9960b3142ac8786846975b420e59b Mon Sep 17 00:00:00 2001
From: Giampaolo Rodola <g.rodola@gmail.com>
Date: Mon, 21 Oct 2024 01:49:12 +0200
Subject: [PATCH] makefile: install git hooks on startup

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 0ec13c15..8885c234 100644
--- a/Makefile
+++ b/Makefile
@@ -19,6 +19,9 @@ PIP_INSTALL_ARGS = --trusted-host files.pythonhosted.org --trusted-host pypi.org
 # if make is invoked with no arg, default to `make help`
 .DEFAULT_GOAL := help
 
+# install git hook
+_ := $(shell mkdir -p .git/hooks/ && ln -sf ../../scripts/internal/git_pre_commit.py .git/hooks/pre-commit && chmod +x .git/hooks/pre-commit)
+
 # ===================================================================
 # Install
 # ===================================================================