From ec6cefb1ffa46ca1edc371467cae893dd30e2176 Mon Sep 17 00:00:00 2001
From: Your Name <you@example.com>
Date: Tue, 5 Mar 2019 15:23:34 +0100
Subject: [PATCH] =?UTF-8?q?Forgot=20a=20file=20in=20the=20previous=20commi?=
 =?UTF-8?q?t=E2=80=A6?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 check_dot_git_is_dir.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 check_dot_git_is_dir.sh

diff --git a/check_dot_git_is_dir.sh b/check_dot_git_is_dir.sh
new file mode 100755
index 000000000..7df363999
--- /dev/null
+++ b/check_dot_git_is_dir.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+set -e
+
+if test -d ../../.git; then
+  echo true > dot_git_is_dir
+else
+  echo false > dot_git_is_dir
+  cat .git >> dot_git_is_dir
+fi