diff --git a/.github/community-pr-label.yml b/.github/community-pr-label.yml deleted file mode 100644 index 4774d9860e..0000000000 --- a/.github/community-pr-label.yml +++ /dev/null @@ -1,6 +0,0 @@ -# See .github/workflows/pr-labeler.yml for context -# Apply the label regardless of what files have been changed -community-pr: - - '**' - - '.*' - - '.*/**' diff --git a/.github/workflows/pr-labeler.yml b/.github/workflows/pr-labeler.yml deleted file mode 100644 index a1d10e22c7..0000000000 --- a/.github/workflows/pr-labeler.yml +++ /dev/null @@ -1,22 +0,0 @@ ---- -name: "Pull Request Labeler" -on: - pull_request: - types: - - opened - -jobs: - # Applies the community-pr label to any PRs from a forked repo, which is used as a proxy for a community PR - community-pr: - name: 'Label community PRs' - permissions: - contents: read - pull-requests: write - runs-on: ubuntu-20.04 - steps: - - if: ${{ github.event.pull_request.head.repo.fork }} - name: 'Apply label' - uses: actions/labeler@9fd24f1f9d6ceb64ba34d181b329ee72f99978a0 # v4.0.0 - with: - repo-token: "${{ secrets.GITHUB_TOKEN }}" - configuration-path: ".github/community-pr-label.yml"