I can just delete the repo?

I would keep it alive for posterity

I just made it for aros, can keep but will become useless