Re: git reset

Efim Goncharuk [off-list ref] 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:

quoted

git --work-tree=lib/core --git-dir=lib/core/.git/ reset --hard 0.1.0

Note:
on another hand

quoted

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.