revert to use /tmp for the tmp/working dir, because creating github repos nested inside an existing github repo leads to trouble when there are problems