Re: git reset
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 16, 2017, 17:06 UTC
- Message-ID
- <xmqqziazo31d.fsf@gitster.mtv.corp.google.com>
- In-Reply-To
- <34910856-7DE9-41A0-A7A6-B572B1C88C1F@gmail.com>
Efim Goncharuk <efimster@gmail.com> writes:
Show 12 quoted lines
> Starting from git v.2.13.0 onwards (v 2.12.2 works fine) > > git reset --hard with --work-tree and --git-dir options does not move HEAD to hash/tag specified. HEAD remains on same position. > > Example: > >> git --work-tree=lib/core --git-dir=lib/core/.git/ reset --hard 0.1.0 > > > Note: > on another hand >> git -C lib/core reset --hard 0.1.0
... "works", I presume.
Thanks for a report.
A quick bisection points at f57f37e2 ("files-backend: remove the use of git_path()", 2017-03-26), which is not unexpected. I didn't dig further and do not expect have time to do so myself for some time, though.