From: Eric Hanchrow <offby1@blarg.net>
Date: Thu, 08 May 2008 13:57:55 GMT
Subject: Re: How to capture date/time of push vs. local commit?
Message-ID: <87hcd85258.fsf@offby1.atm01.sea.blarg.net>
In-Reply-To: <6844644e0805080648g72c4b767l4bcf48ade319bf77@mail.gmail.com>

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