tjh.dev
1name: "Label PR"
2
3on:
4 pull_request_target:
5 types: [edited, opened, synchronize, reopened]
6
7# WARNING:
8# When extending this action, be aware that $GITHUB_TOKEN allows some write
9# access to the GitHub API. This means that it should not evaluate user input in
10# a way that allows code injection.
11
12permissions:
13 contents: read
14 pull-requests: write
15
16jobs:
17 labels:
18 runs-on: ubuntu-latest
19 if: github.repository_owner == 'NixOS'
20 steps:
21 - uses: actions/labeler@v4
22 with:
23 repo-token: ${{ secrets.GITHUB_TOKEN }}
24 sync-labels: true