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
