Efim Goncharuk <efimster@xxxxxxxxx> writes:
> 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.
