On Mon, 28 Nov 2005, Daniel Barkalow wrote: > > I was planning to keep it in .git (instead of .git/refs/...), because it's > information about the working tree, not properly part of the repository. > It's like MERGE_HEAD in being about what the user is in the middle of. That's fine. However, your patch isn't. Your patch just creates this eternal confusion of "why is HEAD different from CHECKED_OUT". It's really easy to do what you want to do _without_ any tool changes: git-rev-parse HEAD > .git/CHECKED_OUT rm .git/HEAD ln -s refs/heads/../../CHECKED_OUT .git/HEAD and you're done. No tool changes necessary. Now "HEAD" always points to the checked-out thing, but a "git clone" won't ever actually clone your CHECKED_OUT branch. Linus - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.htmlReceived on Tue Nov 29 15:35:13 2005
This archive was generated by hypermail 2.1.8 : 2005-11-29 15:35:19 EST