mainrs (Dec 13 2023 at 14:00): mainrs (Dec 13 2023 at 14:00):Hello!
I was browsing for some good first issues on GitHub and stumbled upon a lot of issues that have been resolved by a PR but not closed. I have started to comment on these issues to give notice to people so they can close them.
Would you guys be OK with giving me issue managing rights so I can just close them by myself? So far I have made sure that there aren't any open questions left before writing the comment to not close issues that are meant to stay open.
I have opened my first (albeit small) PR on roc and I plan to contribute more, since I use it in one of my bigger projects!
Anton (Dec 13 2023 at 14:30):Welcome @mainrs,
Thanks for reviewing issues! @Richard Feldman should be able to give you permissions to close issues.
I'll review you PR right now :)
Richard Feldman (Dec 13 2023 at 14:32):permissions granted! Thanks for the PR and for volunteering to help @mainrs! :heart_eyes:
Last updated: Jul 06 2025 at 12:14 UTC