5 types: [edited, opened, synchronize, reopened]
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.
19 runs-on: ubuntu-latest
20 if: "github.repository_owner == 'NixOS' && !contains(github.event.pull_request.title, '[skip treewide]')"
22 - uses: actions/labeler@8558fd74291d67161a8a78ce36a881fa63b766a9 # v5.0.0
24 repo-token: ${{ secrets.GITHUB_TOKEN }}