1name: "Pull Request Labeler" 2on: 3 - pull_request_target 4 5permissions: 6 contents: read 7 8jobs: 9 triage: 10 if: github.repository == 'php/php-src' 11 permissions: 12 pull-requests: write 13 runs-on: ubuntu-latest 14 steps: 15 - uses: actions/labeler@v5 16 with: 17 repo-token: "${{ secrets.GITHUB_TOKEN }}" 18