Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
There should be an easy way to delete a local repository: Delete the entire directory in the file system. This should cause the local repository to be deregistered.
Warning: A local repository might be temporarily unavailable (e.g. being located on a separate, encrypted disk). Therefore, it should only be preliminarily unregistered, first - see: cloudstore/cloudstore#41