Re: Push timestamps

[Martin Husemann <martin%duskware.de@localhost>]

On Fri, Nov 01, 2019 at 10:18:45AM +0200, Andreas Gustafsson wrote:
> Joerg Sonnenberger wrote:
> > FYI, we have pushlog enabled for other reasons on hgmaster, but it is
> > currently not getting replicated to anonhg.
> 
> Will it be replicated at some point?

I have to say I am a bit puzzled how such a "must have" from user
perspective (and in some contexts maybe legal perspective too) is even
optional. On the other hand "original commit" timestamps are IMHO
totaly useless once the net result has been pushed to the master
repository.

Martin