From bfb56ad43fb63f46dc247e6d5382fdeb1e4772cd Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Tue, 31 Oct 2023 19:40:35 +0200
Subject: rewrite the whole site

Signed-off-by: Lars Wirzenius <liw@liw.fi>
Sponsored-by: author
---
 git-mtime.sh | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 git-mtime.sh

(limited to 'git-mtime.sh')

diff --git a/git-mtime.sh b/git-mtime.sh
deleted file mode 100755
index 84c9299..0000000
--- a/git-mtime.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-# From https://stackoverflow.com/questions/2458042/restore-a-files-modification-time-in-git
-
-set -euo pipefail
-
-rev=HEAD
-for f in $(git ls-tree -r -t --full-name --name-only "$rev")
-do
-    echo "setting mtime for $f"
-    touch -d "$(git log --pretty=format:%cI -1 "$rev" -- "$f")" "$f";
-done
-- 
cgit v1.2.1