Fix git merge during schedule update

This commit is contained in:
Ben Sturmfels 2023-09-14 18:29:08 +10:00
parent 5b315ae75e
commit 697fc1523a

View file

@ -2,6 +2,7 @@
set -e
set -u
set -x
PRODUCTION_BRANCH="${PRODUCTION_BRANCH:-master}"
@ -23,7 +24,7 @@ fi
IFS=/ read git_remote git_refspec <<EOF
$git_upstream
EOF
git fetch --quiet --no-tags "$git_remote" "$git_refspec"
git fetch --quiet --no-tags "${git_remote}/${git_refspec}"
if [ "$(git rev-parse "$PRODUCTION_BRANCH")" = "$(git rev-parse "$git_upstream")" ]; then
exit 0
fi