diff --git a/.github/workflows/trigger_precommit.yml b/.github/workflows/trigger_precommit.yml new file mode 100644 index 0000000000..73853c31f4 --- /dev/null +++ b/.github/workflows/trigger_precommit.yml @@ -0,0 +1,24 @@ +name: Trigger Pre-Commit on a PR +on: + issue_comment: + types: [created] + +permissions: + pull-requests: write + +jobs: + pr-script: + runs-on: ubuntu-latest + steps: + - uses: khan/pull-request-comment-trigger@1.0.0 + id: check + with: + trigger: "auto run pre-commit" + - if: steps.check.outputs.triggered == 'true' + uses: jupyterlab/maintainer-tools/.github/actions/pr-script@v1 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + pre_commit: true + commit_message: "auto run pre-commit" + target: ${{ github.event.issue.html_url }} + association: ${{ github.event.comment.author_association }}