From 73dd39ff85ed145a720c144cee0fafa3149d2cfc Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 9 Dec 2021 22:28:59 +0100
Subject: [PATCH] Oops. Omitted these

---
 git-hooks/pre-commit |  6 ++++++
 setup.sh             | 18 ++++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100755 git-hooks/pre-commit
 create mode 100755 setup.sh

diff --git a/git-hooks/pre-commit b/git-hooks/pre-commit
new file mode 100755
index 0000000..fa3cbb3
--- /dev/null
+++ b/git-hooks/pre-commit
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+set -e
+exec 1>&2
+
+# No checks yet!
diff --git a/setup.sh b/setup.sh
new file mode 100755
index 0000000..67c08b0
--- /dev/null
+++ b/setup.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+#
+# Set up a git checkout of this repository for local dev use.
+
+exec 2>/dev/tty 1>&2
+
+set -e
+
+[ -d .git ] || exit 0
+
+for fullhook in ./git-hooks/*
+do
+    hook=$(basename "$fullhook")
+    [ -L .git/hooks/$hook ] || (
+        echo "Installing $hook hook"
+        ln -s ../../git-hooks/$hook .git/hooks/$hook
+    )
+done