can you delete a github repository does it remain locally code example Example: clone and remove existing git repository git rm -rf git