From 677ebcc622dda18556c73898d903d1bffb0b2c3d Mon Sep 17 00:00:00 2001 From: Tomas Hrcka Date: Aug 13 2019 08:53:32 +0000 Subject: Preparations for branching f31 Signed-off-by: Tomas Hrcka --- diff --git a/run_tests.sh b/run_tests.sh index 9b542af..d55eb64 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -38,7 +38,7 @@ if [ "$BRANCH_TO" != "None" -a "$BRANCH_TO" != "" ]; then git merge-base --is-ancestor -- origin/master HEAD set -e if [ $? -ne 0 ]; then - git checkout origin/master + git checkout origin/f31 fi # Run any tests that only apply to PRs