Do not delete the git repo each time

Okay, this is not meant to be merged. But I think we shouldn't remove the git repo everytime. This will clear the history of the commits.