diff options
| author | emkael <emkael@tlen.pl> | 2023-02-08 16:05:41 +0100 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2023-02-08 16:05:41 +0100 |
| commit | 9ee7e96359b0ec446efdccb65917c9d1b40b4e2c (patch) | |
| tree | 5656bbd2c1f4689009c1255c4bdfe49eb8ed17c9 /scripts | |
| parent | 5d62d81d72a9e098b4cb827e28f2acf2994e0988 (diff) | |
Explitic branch for autorun pull
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/autorun.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/autorun.sh b/scripts/autorun.sh index 90ba40b..4f41447 100755 --- a/scripts/autorun.sh +++ b/scripts/autorun.sh @@ -9,7 +9,7 @@ RUNNING_INDICATOR=${LIGA_PLAYOFF_LOGFILE}.running find $(dirname ${LIGA_PLAYOFF_LOGFILE}) -name \*.running -mmin +720 -delete # if the bracket is not running for 12 hours, it's running PREVHEAD=$(git rev-parse HEAD) -git pull --quiet --rebase --autostash --recurse-submodules --no-stat +git pull --quiet --rebase --autostash --recurse-submodules --no-stat origin master if [ -n "$(git diff --name-status --no-renames $PREVHEAD HEAD)" -o $FORCE != "0" -o -f ${RUNNING_INDICATOR} ] then ( date --rfc-3339=seconds; ./generate.sh; ./sync.sh; date --rfc-3339=seconds; ) > ${LIGA_PLAYOFF_LOGFILE} 2>&1 |