The right way is to make it public first? That's insanity. Making a repo public just to delete it would be a huge information leak even if it was short in duration.