File tree Expand file tree Collapse file tree 1 file changed +4
-6
lines changed Expand file tree Collapse file tree 1 file changed +4
-6
lines changed Original file line number Diff line number Diff line change @@ -39,17 +39,15 @@ jobs:
39
39
⚠️ We detected that you are using a GitHub private e-mail address to contribute to the repo.<br/>
40
40
Please turn off [Keep my email addresses private](https://github.com/settings/emails) setting in your account.<br/>
41
41
See [LLVM Discourse](https://discourse.llvm.org/t/hidden-emails-on-github-should-we-do-something-about-it) for more information.
42
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
43
+ GH_REPO : ${{ github.repository }}
44
+ PRNUM : ${{ github.event.pull_request.number }}
42
45
run : |
43
46
cat << EOF > comments
44
47
[{"body" : "$COMMENT"}]
45
48
EOF
46
49
# Use GitHub API to create a comment on the PR
47
- PR_NUMBER=${{ github.event.pull_request.number }}
48
- GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }}
49
- COMMENT_URL="https://api.github.com/repos/${{ github.repository }}/issues/${PR_NUMBER}/comments"
50
-
51
- curl -s -H "Authorization: token ${GITHUB_TOKEN}" -X POST $COMMENT_URL -d "{\"body\":\"$COMMENT\"}"
52
-
50
+ gh pr comment $PRNUM --body "$COMMENT" --repo $GH_REPO
53
51
# Fail this job.
54
52
false
55
53
You can’t perform that action at this time.
0 commit comments