Re: Recording the date at which a change was pushed to Savannah

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Date: Wed, 03 Dec 2014 09:18:42 -0500
> Cc: address@hidden
> 
> > So "when a commit was pushed" rather than "committed/created" is
> 
> I think the fundamental thing missing is the "mainline": In Bzr, when
> you look at the DAG of the `trunk', you know which commits are on the
> mainline and which commits were made on a branch and later merged
> onto the mainline.
> 
> In Git, you don't know that because you only have the DAG and the
> parents of a merge are "unordered".

You can see the "mainline" in Git with "log --graph" or in Emacs with
"C-x v L".