diff options
| author | Artturin <Artturin@artturin.com> | 2022-03-30 17:45:28 +0300 |
|---|---|---|
| committer | Artturin <Artturin@artturin.com> | 2023-03-13 18:01:21 +0200 |
| commit | 966751656645c2c545c78b04b9f8d93465b8f290 (patch) | |
| tree | bb5bea2a6b640a6fd219e29fccd4a9a1a66252ba /.github | |
| parent | e8415dc439704ee71b0a03b60bc5110bd3426314 (diff) | |
add labeler workflow
Diffstat (limited to '.github')
| -rw-r--r-- | .github/labeler.yml | 6 | ||||
| -rw-r--r-- | .github/workflows/labels.yml | 24 |
2 files changed, 30 insertions, 0 deletions
diff --git a/.github/labeler.yml b/.github/labeler.yml new file mode 100644 index 000000000..dc502b6d5 --- /dev/null +++ b/.github/labeler.yml @@ -0,0 +1,6 @@ +"documentation": + - doc/manual/* + - src/nix/**/*.md + +"tests": + - tests/**/* diff --git a/.github/workflows/labels.yml b/.github/workflows/labels.yml new file mode 100644 index 000000000..5f949ddc5 --- /dev/null +++ b/.github/workflows/labels.yml @@ -0,0 +1,24 @@ +name: "Label PR" + +on: + pull_request_target: + types: [edited, opened, synchronize, reopened] + +# 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. + +permissions: + contents: read + pull-requests: write + +jobs: + labels: + runs-on: ubuntu-latest + if: github.repository_owner == 'NixOS' + steps: + - uses: actions/labeler@v4 + with: + repo-token: ${{ secrets.GITHUB_TOKEN }} + sync-labels: true |