From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 20 Feb 2018 22:32:23 GMT
Subject: Re: Git should preserve modification times at least on request
Message-ID: <nycvar.QRO.7.76.6.1802202329540.31@ZVAVAG-6OXH6DA.rhebcr.pbec.zvpebfbsg.pbz>
In-Reply-To: <20180220210554.GA24474@helen.PLASMA.Xg8.DE>

Hi Peter,

On Tue, 20 Feb 2018, Peter Backes wrote:

> On Tue, Feb 20, 2018 at 11:46:38AM +0100, Johannes Schindelin wrote:
> 
> > I would probably invent a file format (`<mtime><TAB><path><LF>`)
> 
> I'm stuck there because of <path> being munged.

From which command do you want to get it? If you are looking at `git
diff`, you may want to use the `-z --name-only` options to avoid munging
the paths.

Or are you looking at a different source for the paths?

Ciao,
Johannes