On Thu, Jun 28, 2007 at 05:02:18PM -0700, Junio C Hamano wrote: > You would want to do this extra fetch only in case (1). > I think the additional fetch would fail in case (2), and result > in removal of $GIT_DIR/REMOTE_HEAD. You're right. It looks like I only tested it on symbolic link HEADs. Sorry about that. Will send a corrected patch later. skimo - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
