Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Fix GitHub Action permissions for Files Changed Label workflow #4305

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
DonnieBLT merged 4 commits into from
May 22, 2025
Merged

Fix GitHub Action permissions for Files Changed Label workflow #4305

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
0f849ee
Initial plan for issue
Copilot May 21, 2025
92bdc71
Update GitHub workflow to use custom token
Copilot May 21, 2025
9ee9578
Improve error handling in GitHub workflow
Copilot May 21, 2025
c8d7290
Delete .github/README.md
DonnieBLT May 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 10 additions & 3 deletions .github/workflows/add-files-changed-label.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ jobs:
steps:
- name: Add Files Changed Label
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.CUSTOM_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
PR_NUMBER: ${{ github.event.pull_request.number }}
REPO_OWNER: ${{ github.repository_owner }}
REPO_NAME: ${{ github.event.repository.name }}
Expand All @@ -33,8 +33,8 @@ jobs:
"https://api.github.com/repos/$REPO_OWNER/$REPO_NAME/pulls/$PR_NUMBER/files")

# Check if the API request was successful
if [[ "$FILES_API_RESPONSE" == *"message"*"Not Found"* ]]; then
echo "Error: Could not fetch PR files. API response indicates resource not found."
if [[ "$FILES_API_RESPONSE" == *"message"*"Not Found"* ]] || [[ "$FILES_API_RESPONSE" == *"Resource not accessible by integration"* ]]; then
echo "Error: Could not fetch PR files. Response: $FILES_API_RESPONSE"
exit 1
fi

Expand Down Expand Up @@ -141,6 +141,13 @@ jobs:
# Check if label was added successfully
if [[ "$ADD_LABEL_RESPONSE" == *"message"* ]]; then
echo "Error: Failed to add label. Response: $ADD_LABEL_RESPONSE"

# Check if it's a permissions issue and suggest using a custom token
if [[ "$ADD_LABEL_RESPONSE" == *"Resource not accessible by integration"* ]]; then
echo "This appears to be a permissions issue. Please configure a CUSTOM_GITHUB_TOKEN secret with higher permissions."
echo "See the .github/README.md file for instructions on setting up the token."
fi

exit 1
else
echo "Successfully applied label '$LABEL' to PR #$PR_NUMBER"
Expand Down
Loading