Merge branch 'cr/git-work-tree-sans-git-dir' into maint * cr/git-work-tree-sans-git-dir: git.txt: remove stale comment regarding GIT_WORK_TREE