Skip to content

Commit 8190db9

Browse files
authored
Add Auto Pre-Commit (#685)
1 parent 4829005 commit 8190db9

File tree

1 file changed

+24
-0
lines changed

1 file changed

+24
-0
lines changed
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
name: Trigger Pre-Commit on a PR
2+
on:
3+
issue_comment:
4+
types: [created]
5+
6+
permissions:
7+
pull-requests: write
8+
9+
jobs:
10+
pr-script:
11+
runs-on: ubuntu-latest
12+
steps:
13+
- uses: khan/[email protected]
14+
id: check
15+
with:
16+
trigger: "auto run pre-commit"
17+
- if: steps.check.outputs.triggered == 'true'
18+
uses: jupyterlab/maintainer-tools/.github/actions/pr-script@v1
19+
with:
20+
github_token: ${{ secrets.GITHUB_TOKEN }}
21+
pre_commit: true
22+
commit_message: "auto run pre-commit"
23+
target: ${{ github.event.issue.html_url }}
24+
association: ${{ github.event.comment.author_association }}

0 commit comments

Comments
 (0)