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
git-person-id.
--
Petr "Pasky" Baudis
Stuff: http://pasky.or.cz/
<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 http://vger.kernel.org/majordomo-info.html
