git clone: don't clone into non-empty directory