From 77a0182f69edcb1266f89c197e4c710225af1287 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Thu, 3 Sep 2020 11:43:07 +0100
Subject: [PATCH] Exit early on running server tasks if no .git dir

---
 server/run-tasks.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/server/run-tasks.php b/server/run-tasks.php
index 17f2b97..38f79fd 100644
--- a/server/run-tasks.php
+++ b/server/run-tasks.php
@@ -1,4 +1,8 @@
 <?php
+// Exit early if no .git dir
+if (false === file_exists(dirname(__FILE__) . "/../.git")) {
+    exit;
+}
 // Only run internally on server, not from internet
 if (isset($_SERVER['HTTP_HOST'])) {
     die("Server side script only");