From: Linus Torvalds Date: Thu, 16 Nov 2006 19:53:30 GMT Subject: Re: Cleaning up git user-interface warts Message-ID: In-Reply-To: <7virhf8985.fsf@assigned-by-dhcp.cox.net> On Thu, 16 Nov 2006, Junio C Hamano wrote: > > As you said, pull inherently involve a merge which implies the > existence of associated working tree, so I do not think there is > any room for --bare to get in the picture. Fair enough. Feel free to add the signed-off-by from me too,