2021-01-30 04:41:31 +00:00
|
|
|
name: "Label PR"
|
|
|
|
|
|
|
|
on:
|
|
|
|
pull_request_target:
|
2021-04-02 20:06:00 +00:00
|
|
|
types: [edited, opened, synchronize, reopened]
|
2021-01-30 04:41:31 +00:00
|
|
|
|
2022-03-19 18:43:22 +00:00
|
|
|
# WARNING:
|
|
|
|
# When extending this action, be aware that $GITHUB_TOKEN allows some write
|
|
|
|
# access to the GitHub API. This means that it should not evaluate user input in
|
|
|
|
# a way that allows code injection.
|
|
|
|
|
2021-04-24 17:05:17 +00:00
|
|
|
permissions:
|
|
|
|
contents: read
|
|
|
|
pull-requests: write
|
|
|
|
|
2021-01-30 04:41:31 +00:00
|
|
|
jobs:
|
|
|
|
labels:
|
|
|
|
runs-on: ubuntu-latest
|
2023-01-21 01:28:04 +00:00
|
|
|
if: "github.repository_owner == 'NixOS' && !contains(github.event.pull_request.title, '[skip treewide]')"
|
2021-01-30 04:41:31 +00:00
|
|
|
steps:
|
2023-12-11 11:31:56 +00:00
|
|
|
- uses: actions/labeler@8558fd74291d67161a8a78ce36a881fa63b766a9 # v5.0.0
|
2021-01-30 04:41:31 +00:00
|
|
|
with:
|
|
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
sync-labels: true
|