title: Git, deleting repository
body: <p>I somewhat screwd up the file system of my remote node. I am doing a project and the remote repo was initialized by my instructor. I cloned it and then pushed the updates from my home directory. </p>
  
  <p>I now want to delete the repo which I cloned in the remote server. I want to start it over. </p>
  
  <p>How do I delete the repository which was cloned before?</p>