From ede13d7d730237e64c5632b86b187375406662de Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Sat, 5 Jan 2019 12:13:44 -0600 Subject: [PATCH] Update run.sh --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index a114ce7..4db83fe 100755 --- a/run.sh +++ b/run.sh @@ -5,7 +5,7 @@ source /opt/mysqlbu/settings.conf cd /opt/mysqlbu #echo "" -if [ "`git log --pretty=%H ...refs/heads/master^ | head -n 1 >/dev/null`" != "`git ls-remote origin -h refs/heads/master |cut -f1 >/dev/null`" ]; then +if [ "`git log --pretty=%H ...refs/heads/master^ | head -n 1`" != "`git ls-remote origin -h refs/heads/master |cut -f1 >/dev/null`" ]; then git fetch origin master >/dev/null git reset --hard origin/master >/dev/null git reflog expire --expire=now --all >/dev/null