Comment by beokop

Then why have the option to delete public repos at all? Public tweets? If we had the means, should the web as a whole be append-only?

There’s a big difference between “public” and “stored in a glacier forever”.