git reset

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