login
Header Space

 
 

Re: How to capture date/time of push vs. local commit?

Score:
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: Doug Reiland <dreiland@...>
Cc: <git@...>
Date: Thursday, May 8, 2008 - 10:06 am

Doug,

On Thu, 2008-05-08 at 09:48 -0400, Doug Reiland wrote:

This is the nature of a distributed version control system. The
timestamps cannot be used to establish a ordering of commits.

If you have reflogs enabled on the server (see man git-reflog) the
information there can help you find out when the pushes have been made.
There is no mechanism to transfer these reflogs into your local
repository, since reflogs are always local to a single repository. If
you have access to the server, you can examine the reflogs there. (f.e.
using git log -g or git reflog)

-- 
http://spinlock.ch/blog/
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
How to capture date/time of push vs. local commit?, Doug Reiland, (Thu May 8, 9:48 am)
Re: How to capture date/time of push vs. local commit?, Matthias Kestenholz, (Thu May 8, 10:06 am)
speck-geostationary