From 8cb206370f8d075f3e6a8053b69d54bfaa9a3335 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Niels=20G=C3=B6ttsch?= <niels@ziemlichoptimal.de>
Date: Sun, 14 Jun 2026 19:35:16 +0200
Subject: [PATCH] pin: replace HASH with short commit hash in footer

---
 .forgejo/workflows/pin.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.forgejo/workflows/pin.yaml b/.forgejo/workflows/pin.yaml
index b66f278..5616109 100644
--- a/.forgejo/workflows/pin.yaml
+++ b/.forgejo/workflows/pin.yaml
@@ -62,7 +62,8 @@ jobs:
                         git remote add origin https://git.ziemlichoptimal.de/niels/randomp2p.git
                         git fetch --depth 1 origin ${SHA}
                         git checkout FETCH_HEAD
-                        sed -i "s/HASH/${SHA}/g" /work/repo/index.html
+                        SHORT="$(echo "${SHA}" | cut -c1-8)"
+                        sed -i "s/HASH/${SHORT}/g" /work/repo/index.html
                         rm -rf /work/repo/.git
                     volumeMounts:
                       - { name: work, mountPath: /work }