From: H. Peter Anvin <hpa@zytor.com>
Date: Mon, 09 May 2005 19:01:59 GMT
Subject: Re: History messup
Message-ID: <427FB3A7.8050906@zytor.com>
In-Reply-To: <1115660903.19236.39.camel@tglx>

Thomas Gleixner wrote:
> 
> That would be really great. A line after "parents" like
> 
> repoid "username/reponame" 
> 
> would be sufficient
> 

Seems like a UUID or a SHA-1 identifier would be better.

However, one can definitely argue that even the meaning of "a 
repository" isn't well-defined in the context of git.

	-hpa