title: Delete git repository from server from local command line
body: <p>I have a git repo cloned locally. I want to permanently delete the repo from the server so other developers cannot check it out. This is to prevent confusion. How do I do this from my local command line?</p>