From 2a8467c9e8db711a7d2f387fe2959a3e4d7afe18 Mon Sep 17 00:00:00 2001
From: George Adams <georgeadams1995@gmail.com>
Date: Mon, 22 Jul 2024 16:26:30 +0100
Subject: [PATCH] add diff generating workflow to help PR reviews

---
 .github/workflows/diff.yml | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 .github/workflows/diff.yml

diff --git a/.github/workflows/diff.yml b/.github/workflows/diff.yml
new file mode 100644
index 000000000..2bfd92d65
--- /dev/null
+++ b/.github/workflows/diff.yml
@@ -0,0 +1,34 @@
+# Print the diff between the official and the generated file
+name: Diff
+on:
+  pull_request:
+    branches: [ main ]
+
+permissions:
+  contents: read
+
+jobs:
+  diff:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
+
+      - name: Generate Diff
+        id: diff
+        run: |
+          bash dockerhub_doc_config_update.sh
+          diff=$(git --no-pager diff -U0 --ignore-matching-lines='^GitCommit:' --no-index official-eclipse-temurin eclipse-temurin)
+          echo "diff=$diff" >> "$GITHUB_OUTPUT"
+    
+      - name: Print diff as a comment
+        uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
+        if: ${{ steps.diff.outputs.diff != '' }}
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            github.issues.createComment({
+              issue_number: context.issue.number,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              body: '```diff\n' + ${{ steps.diff.outputs.diff }} + '\n```'
+            });