From 1baa7f434689d79cac3379b06509d5750a4b53f1 Mon Sep 17 00:00:00 2001 From: "Zhian N. Kamvar" Date: Tue, 23 Jul 2024 07:41:22 -0700 Subject: [PATCH] add comment diff workflow --- .github/workflows/comment-diff.yaml | 45 +++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 .github/workflows/comment-diff.yaml diff --git a/.github/workflows/comment-diff.yaml b/.github/workflows/comment-diff.yaml new file mode 100644 index 0000000..d2a8d37 --- /dev/null +++ b/.github/workflows/comment-diff.yaml @@ -0,0 +1,45 @@ +name: "Generate New Spec Diff" + +on: + issue_comment: + types: [created] + +jobs: + comment-changed-workflow: + name: 'Comment Spec Diff' + runs-on: ubuntu-latest + if: ${{ github.event.issue.pull_request && (github.event.comment.author_association == 'MEMBER' || github.event.comment.author_association == 'OWNER') && startsWith(github.event.comment.body, '/diff') }} + permissions: + pull-requests: write + steps: + - uses: actions/checkout@v4 + - uses: r-lib/actions/pr-fetch@v2 + with: + repo-token: ${{ secrets.GITHUB_TOKEN }} + - name: "Record DIFF" + id: dl + run: | + echo "body<> $GITHUB_ENV + echo "" >> $GITHUB_ENV + old=$(ls -d */ | sort | tail -n 2 | head -n 1) + new=$(ls -d */ | sort | tail -n 1) + echo "Here are your diffs for this pull request" >> $GITHUB_ENV + echo "" >> $GITHUB_ENV + echo '## `admin-schema.json`' >> $GITHUB_ENV + echo "" >> $GITHUB_ENV + echo '```diff' >> $GITHUB_ENV + echo "$(diff -u ${old}admin-schema.json ${new}admin-schema.json)" >> $GITHUB_ENV + echo '```' >> $GITHUB_ENV + echo "" >> $GITHUB_ENV + echo '## `tasks-schema.json`' >> $GITHUB_ENV + echo "" >> $GITHUB_ENV + echo '```diff' >> $GITHUB_ENV + echo "$(diff -u ${old}tasks-schema.json ${new}tasks-schema.json)" >> $GITHUB_ENV + echo '```' >> $GITHUB_ENV + echo "EOF" >> $GITHUB_ENV + - name: "Comment on PR" + uses: carpentries/actions/comment-diff@5d73d6a34b013488264890868d8eeab1edffdf2e + with: + pr: ${{ github.event.issue.number }} + body: ${{ env.body }} +