Я только что удалил свое раздвоенное репо в GitHub UI, и после обновления страницы репо все еще там.Из командной строки я не могу больше тянуть или подталкивать к этому репо (получая сообщение, что репо не существует).Когда я снова пытаюсь раскошелиться на репо в пользовательском интерфейсе, я получаю сообщение о том, что я уже разделил это репо.Это нормальное поведение?Как надежно удалить раздвоенный репо?