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 }