/doc/bugs/Repository_deletion_error/