From d948c5019ace9ffcdee364be541302620d2fbf71 Mon Sep 17 00:00:00 2001
From: int2001 <joerg@dj7nt.de>
Date: Sat, 23 Mar 2024 06:10:46 +0000
Subject: [PATCH] Add a git fetch before pull. otherwise "FETCH_HEAD" is
 non-existant

---
 application/controllers/Debug.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/application/controllers/Debug.php b/application/controllers/Debug.php
index ac7fa568a..58b3f6fa3 100644
--- a/application/controllers/Debug.php
+++ b/application/controllers/Debug.php
@@ -155,6 +155,7 @@ class Debug extends CI_Controller
 			try {
 				$st=exec('touch '.realpath(APPPATH.'../').'/.maintenance');
 				$st=exec('git stash push --include-untracked');
+				$st=exec('git fetch');
 				$st=exec('git pull');
 				$st=exec('git stash pop');
 				$st=exec('rm '.realpath(APPPATH.'../').'/.maintenance');