FilesExpand file tree

main

/

post-pr-comment.yml

Copy path

View runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

74 lines (67 loc) · 3.06 KB

main

/

post-pr-comment.yml

Copy path

Top

File metadata and controls

• Code
• Blame

74 lines (67 loc) · 3.06 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

# This workflow is the second part of the process described in

# .github/workflows/qhelp-pr-preview.yml

# See that file for more info.

name: Post PR comment

on:

workflow_run:

workflows: [Render QHelp changes]

types:

- completed

permissions:

pull-requests: write

actions: read

jobs:

post_comment:

runs-on: ubuntu-latest

steps:

- name: Download artifact

run: gh run download "${WORKFLOW_RUN_ID}" --repo "${GITHUB_REPOSITORY}" --name "comment"

env:

GITHUB_TOKEN: ${{ github.token }}

WORKFLOW_RUN_ID: ${{ github.event.workflow_run.id }}

- name: Check that PR SHA matches workflow SHA

run: |

PR="$(grep -o '^[0-9]\+$' pr_number.txt)"

PR_HEAD_SHA="$(gh api "/repos/${GITHUB_REPOSITORY}/pulls/${PR}" --jq .head.sha)"

# Check that the pull-request head SHA matches the head SHA of the workflow run

if [ "${WORKFLOW_RUN_HEAD_SHA}" != "${PR_HEAD_SHA}" ]; then

echo "PR head SHA ${PR_HEAD_SHA} does not match workflow_run event SHA ${WORKFLOW_RUN_HEAD_SHA}. Stopping." 1>&2

exit 1

fi

env:

GITHUB_TOKEN: ${{ github.token }}

WORKFLOW_RUN_HEAD_SHA: ${{ github.event.workflow_run.head_commit.id }}

- name: Create or update comment

run: |

COMMENT_PREFIX="QHelp previews"

COMMENT_AUTHOR="github-actions[bot]"

PR_NUMBER="$(grep -o '^[0-9]\+$' pr_number.txt)"

# If there is no existing comment, comment_id.txt will contain just a

# newline (due to jq & gh behaviour). This will cause grep to fail, so

# we catch that.

RAW_COMMENT_ID=$(grep -o '^[0-9]\+$' comment_id.txt || true)

if [ $RAW_COMMENT_ID ]

then

# Fetch existing comment, and validate:

# - comment belongs to the PR with number $PR_NUMBER

# - comment starts with the expected prefix ("QHelp previews")

# - comment author is github-actions[bot]

FILTER='select(.issue_url | endswith($repo+"/issues/"+$pr))

| select(.body | startswith($prefix))

| select(.user.login == $author)

| .id'

COMMENT_ID=$(gh api "repos/${GITHUB_REPOSITORY}/issues/comments/${RAW_COMMENT_ID}" | jq --arg repo "${GITHUB_REPOSITORY}" --arg pr "${PR_NUMBER}" --arg prefix "${COMMENT_PREFIX}" --arg author "${COMMENT_AUTHOR}" "${FILTER}")

if [ $COMMENT_ID ]

then

# Update existing comment

jq --rawfile body comment_body.txt '{"body":$body}' -n | gh api "repos/${GITHUB_REPOSITORY}/issues/comments/${COMMENT_ID}" -X PATCH --input -

else

echo "Comment ${RAW_COMMENT_ID} did not pass validations: not editing." >&2

exit 1

fi

else

# Create new comment

jq --rawfile body comment_body.txt '{"body":$body}' -n | gh api "repos/${GITHUB_REPOSITORY}/issues/${PR_NUMBER}/comments" -X POST --input -

fi

env:

GITHUB_TOKEN: ${{ github.token }}