Opened this issue 4 months ago · 1 comments
Should we archive this repo? It seems like we're not actively developing this and doing these sorts of things in other places.
Yeah, makes sense to me. Will do. (edit: actually, I lack permissions to do this)