From 3c7b8dc4478c1541bbd488589444747fbe9ddfc3 Mon Sep 17 00:00:00 2001
From: Raoul Bhatia <raoul@bhatia.at>
Date: Sat, 22 Feb 2020 10:37:30 +0100
Subject: [PATCH] [Update] Save git diff only when local changes exist (#3350)

---
 update.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/update.sh b/update.sh
index f3b9d191..6921fd57 100755
--- a/update.sh
+++ b/update.sh
@@ -370,8 +370,10 @@ DIFF_FILE=${DIFF_DIRECTORY}/diff_before_update_$(date +"%Y-%m-%d-%H-%M-%S")
 echo -e "\e[32mSaving diff to ${DIFF_FILE}...\e[0m"
 mkdir -p ${DIFF_DIRECTORY}
 mv diff_before_update* ${DIFF_DIRECTORY}/ 2> /dev/null
-git diff --stat > ${DIFF_FILE}
-git diff >> ${DIFF_FILE}
+if ! git diff-index --quiet HEAD; then
+  git diff --stat > ${DIFF_FILE}
+  git diff >> ${DIFF_FILE}
+fi
 
 echo -e "\e[32mPrefetching images...\e[0m"
 prefetch_images