Re: Pushing into a repository with working directory?
- From
Junio C Hamano <junkio@cox.net>
- Date
- Jan 5, 2007, 09:50 UTC
- 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.