diff --git a/.github/formalities.json b/.github/formalities.json index cdbfd200e43..1face8ed128 100644 --- a/.github/formalities.json +++ b/.github/formalities.json @@ -24,5 +24,6 @@ "check_makefile_indentation": false, "check_pkg_release": "warning", "require_linked_github_account": true, - "enable_stale_bot": false + "enable_stale_bot": false, + "enable_labeler_yml": true } diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml deleted file mode 100644 index b64d3e4a2ba..00000000000 --- a/.github/workflows/labeler.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: 'Pull Request Labeler' -on: - - pull_request_target - -permissions: - contents: read - -jobs: - labeler: - permissions: - contents: read # to determine modified files (actions/labeler) - pull-requests: write # to add labels to PRs (actions/labeler) - - name: Pull Request Labeler - runs-on: ubuntu-latest - steps: - - uses: actions/labeler@v6 - with: - repo-token: '${{ secrets.GITHUB_TOKEN }}'