git reset

[Efim Goncharuk <efimster@xxxxxxxxx>]

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