[git] How do I delete a local repository in git?