Update run.sh

This commit is contained in:
2019-01-05 12:13:44 -06:00
parent 9565bdb43c
commit ede13d7d73

2
run.sh
View File

@@ -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