Re: file timestamps in a git tree