CI: fix git repo

This commit is contained in:
2026-06-10 20:17:57 +02:00
parent 2c95860f5b
commit c92a868718
+4
View File
@@ -47,9 +47,11 @@ jobs:
id: existing id: existing
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
REPO: ${{ github.repository }}
run: | run: |
PR_NUMBER=$(gh pr list \ PR_NUMBER=$(gh pr list \
--base main \ --base main \
--repo "$REPO" \
--head "${{ steps.branch.outputs.source }}" \ --head "${{ steps.branch.outputs.source }}" \
--state open \ --state open \
--json number \ --json number \
@@ -65,6 +67,7 @@ jobs:
run: | run: |
PR_URL=$(gh pr create \ PR_URL=$(gh pr create \
--base main \ --base main \
--repo "$REPO" \
--head "${{ steps.branch.outputs.source }}" \ --head "${{ steps.branch.outputs.source }}" \
--title "Weekly sync: ${{ steps.branch.outputs.source }} → main" \ --title "Weekly sync: ${{ steps.branch.outputs.source }} → main" \
--body "$(cat <<EOF --body "$(cat <<EOF
@@ -97,5 +100,6 @@ jobs:
run: | run: |
gh pr merge \ gh pr merge \
"${{ steps.final.outputs.number }}" \ "${{ steps.final.outputs.number }}" \
--repo "$REPO" \
--auto \ --auto \
--merge --merge