Merge pull request #6338 from Artturin/labeler

add labeler workflow
This commit is contained in:
Valentin Gagarin 2023-03-13 17:57:39 +01:00 committed by GitHub
commit 4a96125c3c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 30 additions and 0 deletions

6
.github/labeler.yml vendored Normal file
View file

@ -0,0 +1,6 @@
"documentation":
- doc/manual/*
- src/nix/**/*.md
"tests":
- tests/**/*

24
.github/workflows/labels.yml vendored Normal file
View file

@ -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