Re: post-update to stash after push to non-bare current branch

Neal Kreitzinger [off-list ref] writes:

To get this to work I had to learn more about shell scripting and export
the GIT_WORK_TREE git environment variable.

(post-update hook):
export GIT_WORK_TREE=/home/neal/FSNMSTHTML
git checkout -f HEAD

Hmm, I thought "cd .. && git checkout -f HEAD" (or "git reset --hard")
would have worked.