From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 14 Nov 2008 17:44:40 GMT
Subject: Re: [PATCH v2 09/11] gitweb: git_is_head_detached() function
Message-ID: <7vk5b69p87.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <cb7bb73a0811140052h1b7aac6cp6b0b376fa59548a9@mail.gmail.com>

"Giuseppe Bilotta" <giuseppe.bilotta@gmail.com> writes:

> I have been thinking about making this detached HEAD thing an
> additional option, but it _really_ seemed like overkill.

I agree that it does not make much sense to make this feature an option.
Detaching the HEAD in the repository itself is an enough clue from the
user to the code that the user wants to trigger the feature.

Thanks.