Should this repo be archived ?

Question

Should this repo be archived ?

pwnorbitals opened this issue 2 years ago · 4 comments

There hasn’t been activity nor interest for a long time, but the description marks it as still maintained, which seems confusing. What’s the current status of this repo ?

Answer 1 · 2023-10-03T16:43:18.000Z

I think in practice this can probably be replaced with critical_section::Mutex. I'll put it on the agenda for today's wg meeting.

Answer 2 · 2023-12-05T19:25:30.000Z

(@adamgreig)

Answer 3 · 2023-12-07T01:05:21.000Z

Our conclusion from the meeting was that it probably should be archived; I'll organise an RFC and vote by the resources team where we can discuss further exactly what to do.