1  #!/bin/bash
 2  # From https://stackoverflow.com/questions/2458042/restore-a-files-modification-time-in-git
 3  
 4  set -euo pipefail
 5  
 6  rev=HEAD
 7  for f in $(git ls-tree -r -t --full-name --name-only "$rev")
 8  do
 9      echo "setting mtime for $f"
10      touch -d "$(git log --pretty=format:%cI -1 "$rev" -- "$f")" "$f";
11  done