Dear diary, on Tue, Jul 12, 2005 at 05:04:23PM CEST, I got a letter
where "Eric W. Biederman" <[EMAIL PROTECTED]> told me that...
> > By the way, I do not particularly like the name "git-id".  There
> > could be IDs for different kinds (not just people) we would want
> > later (file IDs, for example).  Naming what you are computing
> > _the_ "id" feels a bit too generic.  I do not have a better
> > alternative to suggest, though.
> Agreed.  Something like git-author or git-author-stamp is probably
> better.

Since that "infriges" the author/committer distinction, I would prefer

                                Petr "Pasky" Baudis
<Espy> be careful, some twit might quote you out of context..
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at

Reply via email to