From: Junio C Hamano <junkio@cox.net>
Date: Fri, 05 Jan 2007 09:50:22 GMT
Subject: Re: Pushing into a repository with working directory?
Message-ID: <7virfliyzl.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <459E1B23.4060400@shadowen.org>

Andy Whitcroft <apw@shadowen.org> writes:

> Is it fishy if the working directory and index match HEAD?  If not, then
> we could detect that and allow update in that case?

That actually is what 'git-pull' does when you misconfigure and
use your current branch as the tracking branch (which is the
only reason 'git-fetch' has the --update-head-ok option that
should never be used by the end user).

We really should disallow this.