cmd_repo: delete the refs belonging to a deleted repo