From 1c8e424753ba8fa1c94d3573689f3a8e1d70e5a4 Mon Sep 17 00:00:00 2001
From: Shuheng Liu <shuheng.liu@intersystems.com>
Date: Tue, 7 Jan 2025 17:08:29 -0500
Subject: [PATCH] ci: copy changelog.yml from main branch

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

diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml
new file mode 100644
index 00000000..b1c03fee
--- /dev/null
+++ b/.github/workflows/changelog.yml
@@ -0,0 +1,31 @@
+name: Changelog Check
+
+on:
+  pull_request:
+    branches:
+      - main
+      - v0.9.x
+      - v0.10.x
+
+jobs:
+  check_changelog:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v4
+      with: 
+        fetch-depth: 0
+
+    - name: Check for updated CHANGELOG.md
+      run: |
+        # actions/checkout@v4 will merge the feature branch into target branch, hence `HEAD` is not the feature head
+        # While it is probably okay to diff this HEAD against the target branch, we explicitly compare the feature head against the target for readability.
+        if git diff --name-only origin/${{ github.event.pull_request.base.ref }}...${{ github.event.pull_request.head.sha }} | grep -q 'CHANGELOG.md'; then
+          echo "CHANGELOG.md has been updated."
+        else
+          echo -e "\033[31mERROR: CHANGELOG.md has NOT been updated\033[0m"
+          echo "BASE COMMIT: ${{ github.event.pull_request.base.sha }}"
+          echo "HEAD COMMIT: ${{ github.event.pull_request.head.sha }}"
+          exit 1
+        fi