diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2025-10-12 14:05:38 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2025-10-12 14:05:38 +0200 |
| commit | 2975c19574151bf5dfb2e673a7628f12be3ae517 (patch) | |
| tree | 91027ef59f08608d78b656b27ddb0bc93486c165 | |
| parent | 21d261f9f071621767589b27f9dd31f60da211fd (diff) | |
GitHub Action: make fix-all (v4) (#8097)
Can be triggered by writing a comment: `/fix-all`
Follow-up of:
* https://github.com/FreshRSS/FreshRSS/pull/8094
* https://github.com/FreshRSS/FreshRSS/pull/8095
* https://github.com/FreshRSS/FreshRSS/pull/8096
Fix to use the proper remote
| -rw-r--r-- | .github/workflows/commands.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/commands.yml b/.github/workflows/commands.yml index a0875bbb3..3d9fd18a4 100644 --- a/.github/workflows/commands.yml +++ b/.github/workflows/commands.yml @@ -111,8 +111,8 @@ jobs: git config user.name "github-actions[bot]" git config user.email "41898282+github-actions[bot]@users.noreply.github.com" - # Get PR info - PR_JSON=$(gh pr view ${{ github.event.issue.number }} --json headRepository,headRefName,maintainerCanModify) + # Get PR info from the base repository + PR_JSON=$(gh pr view ${{ github.event.issue.number }} --repo ${{ github.repository }} --json headRepository,headRefName,maintainerCanModify) HEAD_REPO=$(echo "$PR_JSON" | jq -r '.headRepository.nameWithOwner') HEAD_BRANCH=$(echo "$PR_JSON" | jq -r '.headRefName') CAN_MODIFY=$(echo "$PR_JSON" | jq -r '.maintainerCanModify') |