I just had the same problem The solution is that the repository you are trying to delete has a clone of it and until that clone is deleted you can't delete the "parent"
-- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected]
