summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorAiden Cline <[email protected]>2025-12-04 01:14:09 -0600
committerAiden Cline <[email protected]>2025-12-04 01:14:09 -0600
commit45bc7a6a9d2560650881be0e554a124b4f925ae5 (patch)
treec439cc5ccfed67b5caabaaffce37fef7ee2511fe
parent088ebb967f514fa08ba10b21c46dc123ffdf3f84 (diff)
downloadopencode-45bc7a6a9d2560650881be0e554a124b4f925ae5.tar.gz
opencode-45bc7a6a9d2560650881be0e554a124b4f925ae5.zip
ci: cleaner
-rw-r--r--.github/workflows/review.yml17
1 files changed, 3 insertions, 14 deletions
diff --git a/.github/workflows/review.yml b/.github/workflows/review.yml
index ffcf085d2..ac93ca94e 100644
--- a/.github/workflows/review.yml
+++ b/.github/workflows/review.yml
@@ -7,25 +7,14 @@ on:
jobs:
check-guidelines:
if: |
- (github.event_name == 'issue_comment' &&
- github.event.issue.pull_request &&
- startsWith(github.event.comment.body, '/review'))
+ github.event.issue.pull_request &&
+ startsWith(github.event.comment.body, '/review') &&
+ contains(fromJson('["OWNER","MEMBER"]'), github.event.comment.author_association)
runs-on: blacksmith-4vcpu-ubuntu-2404
permissions:
contents: read
pull-requests: write
steps:
- - name: Check if user has write permission
- if: github.event_name == 'issue_comment'
- run: |
- PERMISSION=$(gh api /repos/${{ github.repository }}/collaborators/${{ github.event.comment.user.login }}/permission --jq '.permission')
- if [[ "$PERMISSION" != "write" && "$PERMISSION" != "admin" ]]; then
- echo "User does not have write permission"
- exit 1
- fi
- env:
- GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-
- name: Get PR number
id: pr-number
run: |