From f39aad2069aff0688d610bb64e2464764eef95ae Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Fri, 6 Nov 2020 10:36:41 +0200
Subject: add script to set mtime from git

---
 git-mtime.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 git-mtime.sh

diff --git a/git-mtime.sh b/git-mtime.sh
new file mode 100755
index 0000000..84c9299
--- /dev/null
+++ b/git-mtime.sh
@@ -0,0 +1,11 @@
+#!/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