mirror/FreshRSS
0
0
Fork 0
mirror of https://github.com/FreshRSS/FreshRSS.git synced 2026-02-14 15:31:13 -05:00
Code Issues Packages Projects Releases Wiki Activity

GitHub Action: make fix-all (v4) (#8097)

Browse Source 
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
This commit is contained in:
Alexandre Alapetite
2025-10-12 14:05:38 +02:00
committed by GitHub
parent 21d261f9f0
commit 2975c19574
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/commands.yml vendored
View File

@@ -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')