From 6d2cf79f5304c40c3590e9293ef34490acf0f36b Mon Sep 17 00:00:00 2001
From: Erik Demaine <edemaine@mit.edu>
Date: Mon, 21 Aug 2017 21:55:49 -0400
Subject: [PATCH] Pre-commit hook to call make lint (#815)

---
 hooks/pre-commit | 2 ++
 package.json     | 1 +
 2 files changed, 3 insertions(+)
 create mode 100755 hooks/pre-commit

diff --git a/hooks/pre-commit b/hooks/pre-commit
new file mode 100755
index 00000000..43eb1a06
--- /dev/null
+++ b/hooks/pre-commit
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec make lint
diff --git a/package.json b/package.json
index 376b7723..afda9c8b 100644
--- a/package.json
+++ b/package.json
@@ -37,6 +37,7 @@
     "object-assign": "^4.1.0",
     "pako": "1.0.4",
     "selenium-webdriver": "^2.48.2",
+    "shared-git-hooks": "^1.2.1",
     "sri-toolbox": "^0.2.0",
     "uglify-js": "~2.7.5"
   },