diff --git a/.github/workflows/handle_external_pr.yml b/.github/workflows/handle_external_pr.yml index 0b38841..57dd2fb 100644 --- a/.github/workflows/handle_external_pr.yml +++ b/.github/workflows/handle_external_pr.yml @@ -18,3 +18,13 @@ jobs: run: gh pr edit ${{ github.event.pull_request.number }} -R ${{ github.repository }} --add-label "_community" env: GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + + handle_precommit_pr: + if: contains(github.event.pull_request.title, '[pre-commit.ci]') + runs-on: ubuntu-latest + + steps: + - name: Label pull request with "_bot" + run: gh pr edit ${{ github.event.pull_request.number }} -R ${{ github.repository }} --add-label "_bot" + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}