Now that the paper is out, it makes sense to archive this repository so it's clear that we are not performing active development, and the issues, etc., will be set to read-only.
Prior to that, will you add a link to the pub on the README? Will you also add to the README something about the repo being archived? Seems so bittersweet :)
Now that the paper is out, it makes sense to archive this repository so it's clear that we are not performing active development, and the issues, etc., will be set to read-only.
Instructions here: https://docs.github.com/en/repositories/archiving-a-github-repository/archiving-repositories