diff options
| author | Qyriad <qyriad@qyriad.me> | 2024-04-28 02:56:19 -0600 |
|---|---|---|
| committer | Qyriad <qyriad@qyriad.me> | 2024-04-28 02:56:19 -0600 |
| commit | 6bc394c6d23a48ea88fe99ebd1f7d79d4b6165e2 (patch) | |
| tree | 90d6895f28f6a31374266388bced6553544eabfb /.github/workflows/labels.yml | |
| parent | 76b45b48615f0c32a6967b09cc6754fbfe46f799 (diff) | |
remove Github workflow files
Fixes #251. We aren't using them.
Change-Id: Ib24da6e0277bdd6afa9103c553c743a610f7b4e1
Diffstat (limited to '.github/workflows/labels.yml')
| -rw-r--r-- | .github/workflows/labels.yml | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/.github/workflows/labels.yml b/.github/workflows/labels.yml deleted file mode 100644 index d83cb4f18..000000000 --- a/.github/workflows/labels.yml +++ /dev/null @@ -1,24 +0,0 @@ -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: false |