Archive the repository

Sebastian Schuberth

Hi all,

while the README at [1] documents the repo to be archived, it's not
"archived" in the GitHub sense, as available in the settings at Any objections doing
that to make it more clear that the repo is archived?


Sebastian Schuberth

Join { to automatically receive all group messages.