You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jun 21, 2023. It is now read-only.
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
The text was updated successfully, but these errors were encountered: