This repository was archived by the owner on Feb 6, 2026. It is now read-only.
feat: archiving system initiative. #15613
Workflow file for this run
This file contains hidden or 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 aaron-dernley" | |
| 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'] | |
| }); |