Spike: Split up sdf-server #6444
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Is Community User Check | |
| on: | |
| pull_request_target: | |
| types: | |
| - opened | |
| - synchronize | |
| - reopened | |
| jobs: | |
| check-is-community: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| issues: write | |
| pull-requests: write | |
| env: | |
| SI_STAFF: "adamhjk mahirl fnichol nickgerace jhelwig vbustamante zacharyhamm wendybujalski stack72 britmyerss sprutton1 keeb johnrwatson jobelenus jkeiser" | |
| steps: | |
| - name: Checkout code | |
| id: check_author | |
| run: | | |
| PR_AUTHOR="${{ github.event.pull_request.user.login }}" | |
| if ! [[ "${SI_STAFF}" =~ $PR_AUTHOR ]]; then | |
| echo "Authored by one of our amazing community peeps!" | |
| echo "requires-community-tag=true" >> "$GITHUB_OUTPUT" | |
| else | |
| echo "Successfully checked the author against the staff list" | |
| fi | |
| - name: Label PR | |
| if: steps.check_author.outputs.requires-community-tag == 'true' | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| await github.rest.issues.addLabels({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| issue_number: ${{ github.event.pull_request.number }}, | |
| labels: ['community'] | |
| }); |