Skip to content

Commit

Permalink
[ci] Try to fix handling for new stemmer PRs
Browse files Browse the repository at this point in the history
We want to use the corresponding snowball-data, but github doesn't
seem to trivially tell us the repo which the PR branch is in, only
the repo it's proposed to merge it into.
  • Loading branch information
ojwb committed Oct 6, 2023
1 parent b66e052 commit 65c64e8
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -116,9 +116,10 @@ jobs:
# branch.
git status
git remote -v
git show "$GITHUB_REF_NAME"
env|sort
GH_BRANCH=${GITHUB_HEAD_REF:-${GITHUB_REF_NAME}}
GH_REPO_OWNER=${GITHUB_REPOSITORY_OWNER:-${GITHUB_REPOSITORY%%/*}}
GH_REPO_OWNER=${GITHUB_ACTOR:-${GITHUB_REPOSITORY_OWNER:-${GITHUB_REPOSITORY%%/*}}}
GH_REPO_URL=https://github.com/$GH_REPO_OWNER/snowball-data.git
echo "Trying branch $GH_BRANCH from $GH_REPO_URL"
git clone --depth=1 -b "$GH_BRANCH" "$GH_REPO_URL" || { echo "Trying default branch from snowball/snowball-data"; git clone --depth=1 https://github.com/snowballstem/snowball-data.git; }
Expand Down

0 comments on commit 65c64e8

Please sign in to comment.