SEP-1862: Retire the inventory browser surface, mothball SystemFacts #8276
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: Labels | |
| permissions: | |
| contents: read | |
| pull-requests: read | |
| on: | |
| pull_request_target: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| jobs: | |
| autolabel: | |
| permissions: | |
| contents: read | |
| pull-requests: write | |
| issues: write | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/labeler@f27b608878404679385c85cfa523b85ccb86e213 # v6.1.0 | |
| with: | |
| sync-labels: true | |
| - name: Checkout base branch tooling | |
| if: github.event_name == 'pull_request_target' | |
| uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 | |
| with: | |
| # pull_request_target is privileged; only execute tooling from the trusted base. | |
| ref: ${{ github.event.pull_request.base.sha }} | |
| sparse-checkout: | | |
| .github | |
| scripts | |
| - name: Sync computed PR labels | |
| if: github.event_name == 'pull_request_target' | |
| env: | |
| GITHUB_TOKEN: ${{ github.token }} | |
| run: | | |
| python3 scripts/sync_pr_labels.py \ | |
| --owner "${{ github.repository_owner }}" \ | |
| --repo "${{ github.event.repository.name }}" \ | |
| --pr-number "${{ github.event.pull_request.number }}" \ | |
| --head-ref "$GITHUB_HEAD_REF" |