Deleting a repo cannot be undone. If you might need this later, hold off to we implement archive!