We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 62102aa commit 4debe22Copy full SHA for 4debe22
‎.github/workflows/handle_external_pr.yml
@@ -18,3 +18,13 @@ jobs:
18
run: gh pr edit ${{ github.event.pull_request.number }} -R ${{ github.repository }} --add-label "_community"
19
env:
20
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
21
+
22
+ handle_precommit_pr:
23
+ if: contains(github.event.pull_request.title, '[pre-commit.ci]')
24
+ runs-on: ubuntu-latest
25
26
+ steps:
27
+ - name: Label pull request with "_bot"
28
+ run: gh pr edit ${{ github.event.pull_request.number }} -R ${{ github.repository }} --add-label "_bot"
29
+ env:
30
+ GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
0 commit comments