pin: replace HASH with short commit hash in footer

2026-06-14 19:35:16 +02:00 · 2026-06-14 19:35:16 +02:00 · 8cb206370f
commit 8cb206370f
parent 13a2ca68f5
1 changed files with 2 additions and 1 deletions
--- 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 }