diff options
-rwxr-xr-x | scripts/coin/create_baseline/create_baseline.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/coin/create_baseline/create_baseline.sh b/scripts/coin/create_baseline/create_baseline.sh index 7d8be0f4..9b588f50 100755 --- a/scripts/coin/create_baseline/create_baseline.sh +++ b/scripts/coin/create_baseline/create_baseline.sh @@ -72,7 +72,9 @@ cd $repodir echo "Changed working directory:" $(pwd) # checkout current production head, update git refs and perform hard reset to discard local changes -git checkout production && git fetch && git reset --hard origin/production +git checkout production +git fetch +git reset --hard origin/production # merge master into production branch if [ -z "$master_commit_id" ]; then |