From: Sam Vilain <sam@vilain.net>
Date: Sun, 18 Mar 2007 21:51:03 GMT
Subject: Re: git push to a non-bare repository
Message-ID: <45FDB447.5070507@vilain.net>
In-Reply-To: <7vr6rml4fb.fsf@assigned-by-dhcp.cox.net>

Junio C Hamano wrote:
>> I don't understand the design choice here: git had two options to
>> avoid this scenario:
>>     
>
> Actually, there are no such "design choices".  That's entirely
> up to the repository owners to arrange post-update hook, to
> allow you to do anything you want.  
>
> The default is not to encourage people (who do not know what
> they are doing anyway) to push into non-bare repository.
>   

Maybe it's worth making it an error (that can be forced) if you're
pushing to the head that's checked out in a non-bare repository ?

It's pretty nasty behaviour for people used to darcs / bzr et al.

Sam.