ci: Use personal token instead of GITHUB_TOKEN

This commit is contained in:
Edgard Lorraine Messias
2023-05-22 17:36:06 -03:00
committed by GitHub
parent d69bdcfc17
commit 45ce344326

View File

@@ -1,7 +1,7 @@
name: PR Comment
on:
pull_request:
pull_request_target:
types:
- opened
- synchronize
@@ -18,7 +18,7 @@ jobs:
- uses: mshick/add-pr-comment@v2
with:
repo-token: ${{ secrets.GITHUB_TOKEN}}
repo-token: ${{ secrets.PERSONAL_TOKEN}}
message-id: pr-test
message: |
Thanks for your contribution.