Remove .git directory after cloning a repository

The .git directory is now automatically deleted after cloning a repository during the intermediate definition generation. Closes #88 (closed)

Merge request reports

Loading