REmove a repository that is no longer needed