diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2025-10-12 14:13:21 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2025-10-12 14:13:21 +0200 |
| commit | 458832cbb3eb789cec2f64f51ebba0a6f0e520b1 (patch) | |
| tree | f1d11f2818d13bf41f17df2dd54a5010949478ac | |
| parent | 2975c19574151bf5dfb2e673a7628f12be3ae517 (diff) | |
GitHub Action: make fix-all (v5) (#8098)
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
* https://github.com/FreshRSS/FreshRSS/pull/8097
Another approach to use the proper remote
| -rw-r--r-- | .github/workflows/commands.yml | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/.github/workflows/commands.yml b/.github/workflows/commands.yml index 3d9fd18a4..4a70ad21e 100644 --- a/.github/workflows/commands.yml +++ b/.github/workflows/commands.yml @@ -100,6 +100,8 @@ jobs: if: success() env: GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + HEAD_REPO: ${{ fromJSON(steps.pr.outputs.result).repo.full_name }} + HEAD_BRANCH: ${{ fromJSON(steps.pr.outputs.result).ref }} run: | git add -A if git diff --cached --quiet; then @@ -111,15 +113,8 @@ jobs: git config user.name "github-actions[bot]" git config user.email "41898282+github-actions[bot]@users.noreply.github.com" - # 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') - echo "Head repo: $HEAD_REPO" echo "Head branch: $HEAD_BRANCH" - echo "Maintainer can modify: $CAN_MODIFY" # Create commit git commit -m "chore: make fix-all" |