Fixed repository name

This commit is contained in:
XargonWan 2024-11-05 15:22:56 +09:00
parent 43ff63d7c8
commit 7b79241df0

View file

@ -18,14 +18,14 @@ jobs:
- name: Set default values for UPSTREAM_REPO and TARGET_BRANCH if not set
run: |
# Use the current repository name if UPSTREAM_REPO is not set
: "${UPSTREAM_REPO:=${{ github.event.repository.name }} }"
: "${UPSTREAM_REPO:=${{ github.event.repository.name }}}"
: "${TARGET_BRANCH:=master}"
# Format the repository name for flathub
# Format the repository name for flathub, ensure no trailing spaces
UPSTREAM_REPO="https://github.com/flathub/${UPSTREAM_REPO}"
echo "UPSTREAM_REPO=$UPSTREAM_REPO" >> $GITHUB_ENV
echo "TARGET_BRANCH=$TARGET_BRANCH" >> $GITHUB_ENV
echo "UPSTREAM_REPO=${UPSTREAM_REPO}" >> $GITHUB_ENV
echo "TARGET_BRANCH=${TARGET_BRANCH}" >> $GITHUB_ENV
- name: Sync from Upstream Repository
run: |
@ -38,7 +38,6 @@ jobs:
git merge --strategy-option theirs --no-edit FETCH_HEAD
}
- name: Push changes if there are updates
env:
BRANCH_NAME: "sync-${{ github.run_id }}" # Temporary branch name for the PR