diff --git a/.forgejo/workflows/pin.yaml b/.forgejo/workflows/pin.yaml index ff18dcc..b66f278 100644 --- a/.forgejo/workflows/pin.yaml +++ b/.forgejo/workflows/pin.yaml @@ -57,9 +57,12 @@ jobs: args: - | set -e - git clone https://git.ziemlichoptimal.de/niels/randomp2p.git /work/repo + git init /work/repo cd /work/repo - git checkout ${SHA} + 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 rm -rf /work/repo/.git volumeMounts: - { name: work, mountPath: /work } diff --git a/index.html b/index.html index 1ec7ebc..2854f1c 100644 --- a/index.html +++ b/index.html @@ -126,7 +126,7 @@