Comment by latexr

7 hours ago

> permanently archived

Why do you say it’s permanent? Unarchiving a GitHub repository is reversible, and just as easy as archiving it.