From: Junio C Hamano <hidden> Date: 2016-06-15 22:43:21
Julian Phillips [off-list ref] writes:
You should also be able to use this to get an "export" - simply create
the new workdir and then remove the .git (being careful not to
accidentally do this in your actual repository). However I expect
there is a better way to do this ...