[Kesty]

But he has the final solution to any git problem:

  cd ..
  sudo rm -r fucking-git-repo-dir
  git clone https://some.github.url/fucking-git-repo-dir.git

[badminton1]

He needs to create a hook that deletes the repo the next time they do anything with the repo.