From 58fd6526be46e10a8b1d1a37c7a62cd536b1d49c Mon Sep 17 00:00:00 2001 From: Severin Neumann Date: Wed, 18 Dec 2024 10:25:46 +0100 Subject: [PATCH] Update survey-on-merged-pr.yml remove duplicate section --- .github/workflows/survey-on-merged-pr.yml | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/.github/workflows/survey-on-merged-pr.yml b/.github/workflows/survey-on-merged-pr.yml index 59875cbb1824..fdddb749d84c 100644 --- a/.github/workflows/survey-on-merged-pr.yml +++ b/.github/workflows/survey-on-merged-pr.yml @@ -9,21 +9,6 @@ jobs: runs-on: ubuntu-latest if: github.event.pull_request.merged == true steps: - - name: Check if PR author is a member of the org - id: check-membership - run: | - PR_AUTHOR=$(jq -r '.pull_request.user.login' "$GITHUB_EVENT_PATH") - ORG_NAME="${{ github.repository_owner }}" - ORG_MEMBERS=$(gh api "orgs/$ORG_NAME/members" --jq '.[].login') - echo "PR_AUTHOR=${PR_AUTHOR}" >> $GITHUB_ENV - echo "MEMBER_FOUND=false" >> $GITHUB_ENV - for MEMBER in $ORG_MEMBERS; do - if [[ "$PR_AUTHOR" == "$MEMBER" ]]; then - echo "MEMBER_FOUND=true" >> $GITHUB_ENV - break - fi - done - - name: Check if user is a member of the org id: check-membership run: |