|
36 | 36 | CODER_URL:${{ secrets.TRAIAGE_CODER_URL }} |
37 | 37 | CODER_SESSION_TOKEN:${{ secrets.TRAIAGE_CODER_SESSION_TOKEN }} |
38 | 38 | permissions: |
39 | | -contents:write# required for checking permissions on the repo |
| 39 | +contents:read |
40 | 40 | issues:write |
41 | 41 | actions:write |
42 | 42 |
|
@@ -118,7 +118,7 @@ jobs: |
118 | 118 | GITHUB_USER_ID:${{ steps.determine-inputs.outputs.github_user_id }} |
119 | 119 | run:| |
120 | 120 | # Query the actor’s permission on this repo |
121 | | - can_push="$(gh api "/repos/${GITHUB_REPOSITORY}/collaborators/${GITHUB_USERNAME}/permission" --jq '.user.permission.push')" |
| 121 | + can_push="$(gh api "/repos/${GITHUB_REPOSITORY}/collaborators/${GITHUB_USERNAME}/permission" --jq '.user.permissions.push')" |
122 | 122 | if [[ "${can_push}" != "true" ]]; then |
123 | 123 | echo "::error title=Access Denied::${GITHUB_USERNAME} does not have push access to ${GITHUB_REPOSITORY}" |
124 | 124 | exit 1 |
|