Re: [PATCH] [RFD] Add repoid identifier to commit [its a workspace id, isn't it?]

From: Petr Baudis <pasky@ucw.cz>
Date: May 13, 2005, 22:25 UTC
Message-ID: <20050513222502.GD32232@pasky.ji.cz>
In-Reply-To: <2cfc4032050512183788e01fc@mail.gmail.com>

Dear diary, on Fri, May 13, 2005 at 03:37:47AM CEST, I got a letter where Jon Seymour <jon.seymour@gmail.com> told me that...

Show 10 quoted lines

> > 
> > I would like to suggest a few limiters are set on the repoid.  In
> > particular, I'd like to suggest that a repoid is a UUID, that a file is
> > used to track it (.git/repoid), and that if it doesn't exist, a new one
> > is created from /dev/urandom.
> > 
> 
> I think I understand what Thomas is trying to achieve, but I think
> there is a naming problem here. The marker really isn't a repoid - it
> is a workspace id.

Why not just call the thing "branch"? It's as well eligible for that term as anything. :-)

-- 
				Petr "Pasky" Baudis
Stuff: http://pasky.or.cz/
C++: an octopus made by nailing extra legs onto a dog. -- Steve Taylor