From 99a4108bb64d827343fda65c39591ba1083ddc67 Mon Sep 17 00:00:00 2001
From: Tuomas Koskela <t.koskela@ucl.ac.uk>
Date: Tue, 19 Mar 2024 15:48:17 +0000
Subject: [PATCH] Update .github/workflows/docs.yml
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Mosè Giordano <giordano@users.noreply.github.com>
---
 .github/workflows/docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 192153e5..76b75959 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -45,5 +45,5 @@ jobs:
           git add .
           git config user.name ${{github.actor}}
           git config user.email "${{github.actor_id}}+${{github.actor}}@users.noreply.github.com"
-          git commit -m "Update docs"
+          git commit -m "Update docs from ${{ github.sha }}"
           git push origin gh-pages