[ci] Try to get PRs working (4)

snowballstem · Oct 30, 2023 · e10558d · e10558d
1 parent 3ebead8
commit e10558d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -155,6 +155,7 @@ jobs:
         echo "Trying branch $GH_BRANCH from $GH_REPO_URL"
         git clone "$GH_REPO_URL" || { echo "Trying default branch from snowball/snowball-data"; git clone --depth=1 https://github.com/snowballstem/snowball-data.git; }
         cd snowball-data
+        git branch --track "$GH_BRANCH" origin/"$GH_BRANCH"
         git branch -a
         git merge "$GH_BRANCH"
     - name: Install CCache