Can this repository be archived?

[apiraino]

Hi 👋

while doing some spring cleanups, I noticed this repo here, it contains links and info that are quite outdated

Would it make sense archiving it to reflect the reality (at least so is my understanding)?

thanks

[JohnTitor]

👍
We could also consider deprecating the org itself while moving potentially useful repos to rust-lang.

[apiraino]

Ok, I asked to be sure and you already know that 🙂 so If you have bandwidth, I think you can draft a proposal for the Council
https://github.com/rust-lang/leadership-council/issues/

thanks :)

[badboy]

@m-ou-se pinged me the other week with the intention to figure out how to proceed with the Community Team. Please check in with her before archiving or another proposal.