git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
Eric Hanchrow <offby1@blarg.net>
Date
May 8, 2008, 13:57 UTC
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
Previous: Doug ReilandNext: Matthias Kestenholz
Message 2 of 3 in “How to capture date/time of push vs. local commit?”
  1. Doug ReilandMay 8, 2008
  2. Eric HanchrowMay 8, 2008
  3. Matthias KestenholzMay 8, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.