Fix broken PR issue close command in GHA (#55131)

This commit is contained in:
Jake Bailey 2023-07-24 15:09:22 -07:00 committed by GitHub
parent d63af29eaf
commit 55fcee407a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -99,7 +99,7 @@ jobs:
MESSAGE+=" You can [read more here](https://github.com/microsoft/TypeScript/blob/main/CONTRIBUTING.md#contributing-libdts-fixes)."
MESSAGE+=" For house-keeping purposes, this pull request will be closed."
gh pr close $issue --repo ${{ github.repository }} --comment "$MESSAGE"
gh pr close ${{ github.event.pull_request.number }} --repo ${{ github.repository }} --comment "$MESSAGE"
exit 1 # Stop the pipeline; we just closed the PR.
fi