Re: [PATCH] tone down the detached head warning

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: Jeff King <peff@...>
Cc: Junio C Hamano <junkio@...>, <git@...>
Date: Wednesday, January 31, 2007 - 11:47 pm

On Wed, 31 Jan 2007, Jeff King wrote:


Indeed.


But this language convey the truth and users will have to get used to it 
at some point. We should not hide the fact that HEAD is really detached at
that point, otherwise it could be presumed that a commit might update the
checked out (tracking) branch which is obviously not the case.


Nicolas
-
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.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Re: [PATCH] tone down the detached head warning, Junio C Hamano, (Wed Jan 31, 11:23 pm)
[PATCH] detached HEAD -- finishing touches, Junio C Hamano, (Thu Feb 1, 5:08 am)
Re: [PATCH] detached HEAD -- finishing touches, Theodore Tso, (Thu Feb 1, 5:52 pm)
Re: [PATCH] detached HEAD -- finishing touches, Junio C Hamano, (Thu Feb 1, 9:11 pm)
Re: [PATCH] detached HEAD -- finishing touches, Carl Worth, (Thu Feb 1, 9:27 pm)
Re: [PATCH] detached HEAD -- finishing touches, Junio C Hamano, (Thu Feb 1, 9:30 pm)
Re: [PATCH] detached HEAD -- finishing touches, Carl Worth, (Thu Feb 1, 9:46 pm)
Re: [PATCH] detached HEAD -- finishing touches, Junio C Hamano, (Thu Feb 1, 10:38 pm)
Re: [PATCH] detached HEAD -- finishing touches, Theodore Tso, (Thu Feb 1, 9:16 pm)
[PATCH] git-checkout: disable guides how to switch branches ..., Matthias Lederhofer, (Thu Feb 1, 2:44 pm)
Re: [PATCH] git-checkout: disable guides how to switch branc..., Matthias Lederhofer, (Thu Feb 1, 4:51 pm)
Re: [PATCH] git-checkout: disable guides how to switch branc..., Matthias Lederhofer, (Thu Feb 1, 5:23 pm)
Re: [PATCH] detached HEAD -- finishing touches, Alex Riesen, (Thu Feb 1, 5:53 am)
Re: [PATCH] detached HEAD -- finishing touches, Alex Riesen, (Thu Feb 1, 5:54 am)
RE: [PATCH] detached HEAD -- finishing touches, Raimund Bauer, (Thu Feb 1, 5:46 am)
Re: [PATCH] tone down the detached head warning, Jeff King, (Wed Jan 31, 11:29 pm)
Re: [PATCH] tone down the detached head warning, Nicolas Pitre, (Wed Jan 31, 11:47 pm)
Re: [PATCH] tone down the detached head warning, Jeff King, (Wed Jan 31, 11:54 pm)