From 55c9785f709f41850f04ceaedd71a8a7916f58d1 Mon Sep 17 00:00:00 2001
From: "M.P. Korstanje" <rien.korstanje@gmail.com>
Date: Thu, 14 May 2026 16:05:07 +0200
Subject: [PATCH] Add provenance of release to commit message

This makes it easier to find which commit on `main` created which
commit in the `gh-pages` branch.
---
 .github/workflows/deploy.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 7aa341c3..1286453a 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -45,5 +45,6 @@ jobs:
         git add .
         git config user.name github-actions
         git config user.email github-actions@github.com
-        git commit -m "Add latest update-site for version ${GITHUB_REF##*/}"
+        git commit -F - <<EOF 
+        Add latest update-site for version ${GITHUB_REF##*/}" -m "Created from ${{ github.sha }}"
         git push origin gh-pages