Re: [PATCH v2 09/11] gitweb: git_is_head_detached() function
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Nov 14, 2008, 17:44 UTC
- 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.