It is now possible to manually delete orphaned repos