Wrong branch name used for deepening fetch in GHA

dra27 · dra27 · commit 3ef9ce800fea · 2021-04-06T11:28:53.000+01:00
diff --git a/tools/ci/actions/deepen-fetch.sh b/tools/ci/actions/deepen-fetch.sh
@@ -73,7 +73,7 @@ if ! git merge-base "$UPSTREAM_HEAD" "$PR_HEAD" &> /dev/null; then
   while ! git merge-base "$UPSTREAM_HEAD" "$PR_HEAD" &> /dev/null
   do
     echo " - $MSG by $DEEPEN commits"
-    git fetch origin --deepen=$DEEPEN "$PR_BRANCH" &> /dev/null
+    git fetch origin --deepen=$DEEPEN "$UPSTREAM_BRANCH" &> /dev/null
     MSG='Further deepening'
     ((DEEPEN*=2))
   done
