From e44d1a102d089fdf35555d9ab5021ffcf357de63 Mon Sep 17 00:00:00 2001
From: Evgenii Sokolov <ewgraf@gmail.com>
Date: Fri, 16 Oct 2020 01:55:43 +0200
Subject: [PATCH] fix new pages for gh-pages (#507)

---
 files/run_on_master.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/files/run_on_master.sh b/files/run_on_master.sh
index 08fd68c..0bb8f28 100644
--- a/files/run_on_master.sh
+++ b/files/run_on_master.sh
@@ -42,7 +42,7 @@ git checkout upstream/gh-pages
 bash update.sh > /dev/null 2>&1
 git add pages
 
-if ! git diff --quiet; then
+if ! git diff HEAD --quiet; then
 	git commit -q -am "Travis #$TRAVIS_BUILD_NUMBER: sync github pages"
 	git push -q upstream HEAD:gh-pages
 	echo "Github pages was updated"