I had a repository using git, and wanted it to be a mercurial repository:
- I first imported it to my local machine using hggit
- Then renamed it, on server, from `install` to `install.git`
- Then created a new repository on server named `install`, and pushed to it.
- I then went to delete the old repository (`install.git`), but discovered that the settings are the settings of `install` ( the new repository). I confirmed this my setting it to private, this affected both.
How can I delete the old repository `install.git`?