This repository was archived by the owner on Nov 18, 2021. It is now read-only.
This repository was archived by the owner on Nov 18, 2021. It is now read-only.
[Meta] Proposal to add @cirosantilli as repo collaborator #430
Description
I think this repo could do a lot with an active collaborator who works on triaging and labelling the issues. I asked @cirosantilli (who is quite active in the discussions) and he agreed.
Thoughts everyone?