Fix github script indentation

This commit is contained in:
Michael Frikke Depner 2023-08-29 13:02:29 +02:00
parent dd201077dd
commit 188dbc66ba
No known key found for this signature in database
GPG Key ID: 22476799D26CEB62

View File

@ -16,10 +16,10 @@ jobs:
with: with:
script: | script: |
github.rest.issues.createComment({ github.rest.issues.createComment({
issue_number: context.issue.number, issue_number: context.issue.number,
owner: context.repo.owner, owner: context.repo.owner,
repo: context.repo.repo, repo: context.repo.repo,
body: "Please don't submit a PR containing Kata solutions. If you are adding an improvement to the Katas repo, please resubmit this PR and check the `[X]` box in the PR template." body: "Please don't submit a PR containing Kata solutions. If you are adding an improvement to the Katas repo, please resubmit this PR and check the `[X]` box in the PR template."
}) })
- name: Close PR if checkmark is missing - name: Close PR if checkmark is missing
if: ${{ !contains(github.event.pull_request.body, '[X] I acknowledge') }} if: ${{ !contains(github.event.pull_request.body, '[X] I acknowledge') }}
@ -27,8 +27,8 @@ jobs:
with: with:
script: | script: |
github.rest.pulls.update({ github.rest.pulls.update({
pull_number: context.issue.number, pull_number: context.issue.number,
owner: context.repo.owner, owner: context.repo.owner,
repo: context.repo.repo, repo: context.repo.repo,
state: 'closed' state: 'closed'
}) })