From 6bc394c6d23a48ea88fe99ebd1f7d79d4b6165e2 Mon Sep 17 00:00:00 2001 From: Qyriad Date: Sun, 28 Apr 2024 02:56:19 -0600 Subject: remove Github workflow files Fixes #251. We aren't using them. Change-Id: Ib24da6e0277bdd6afa9103c553c743a610f7b4e1 --- .github/workflows/labels.yml | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 .github/workflows/labels.yml (limited to '.github/workflows/labels.yml') 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 -- cgit v1.2.3