This repository was archived by the owner on Jan 17, 2023. It is now read-only.
This repository was archived by the owner on Jan 17, 2023. It is now read-only.
Close old Issues+PRs and archive the repo? #4035
Description
We could probably close the old issues now that the site is in sunset mode.
Not sure if we can archive the repo yet, or if that'd prevent us from filing any new issues.