From 753e210b15021ae70381fbb8e6f9b22ee9309ca1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Niels=20G=C3=B6ttsch?= <niels.goettsch@openfellas.com>
Date: Mon, 15 Jun 2026 08:01:01 +0200
Subject: [PATCH] pin: fix HASH replacement; full sha in URL, short hash for
 display

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 .forgejo/workflows/pin.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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