BUGFIX make clean-git-repo.sh work in the absence files to preserve

The previous change introduced a bug for the special (but most likely) case when
there are not files to preserve when resetting the repo