git reset

Efim Goncharuk· Aug 16, 2017, 12:21 UTC · lore

Hello,

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

Regards, Efim Goncharuk

Junio C Hamano· Aug 16, 2017, 17:06 UTC · re: Efim Goncharuk · lore

Re: git reset

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.