Archiving leanprover-contrib

Stream: general

[Anne Baanen]

While browsing old Lean 3 pages of the leanprover-community.github.io website, I came across the existence of https://github.com/leanprover-contrib/. This organization contains a few repositories that are, essentially, Lean 3 equivalents to Reservoir, and the build and upgrade GitHub Actions. Should we just archive everything in here since it is now irrelevant and unmaintained?

[Eric Wieser]

I think this still runs the triage channel, when awoken?

[Eric Wieser]

Or maybe we moved that

[Anne Baanen]

(Note that I cannot do this since I don't belong to the leanprover-contrib organization. Anyone know who actually holds this power?)

[Bryan Gin-ge Chen]

I think @Rob Lewis may be able to?

[Kim Morrison]

I don't have access either.