GH370 delete git repository

#370 
try to remove dependency towards File ... isRepository needs an Object now, so use Object instead