login
Login / Register
Header Space

 
 

Home » Mailing list archives » git » 2008 » May » 8

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

Score:
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
[view in full thread]
From: Eric Hanchrow <offby1@...>
To: <git@...>
Subject: Re: How to capture date/time of push vs. local commit?
Date: Thursday, May 8, 2008 - 9:57 am

I would think you could get what you want with sufficient grovelling of
the files in .../.git/logs/.
-- 
It is a truth universally acknowledged, that any language in
possession of a rich syntax, must be in want of a rewrite.
        -- Piers Cawley

--
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:
Re: How to capture date/time of push vs. local commit?, Eric Hanchrow, (Thu May 8, 9:57 am)

Mail archive search
Enter your search terms.
Optionally limit your search to a specific mailing list.
advanced
Colocation donated by:
Who's online
There are currently 4 users and 786 guests online.

Online users

Syndicate
Syndicate content
© 2007 KernelTrap.  |  Powered by Drupal.  |  Legal statement.
speck-geostationary