Hey @Ali Caglayan! Like I said on GitHub, you are very welcome to join @coq/pushers (the team of Coq maintainers / code owners) that can assign and merge pull requests. Usually, we don't add people to that team directly but to one or several of the maintainer subteams. The list is here: https://github.com/orgs/coq/teams/pushers/teams. Can you have a look and let me know which one(s) you'd like to join so that I can add you to them?
When joining this team, there is a relevant section of the contributing guide that you should read: https://github.com/coq/coq/blob/master/CONTRIBUTING.md#merging-pull-requests (the previous section on reviewing PRs is also relevant). And one important note is never use the GitHub merge button (even if it becomes green and clickable).
Thanks! I think I would be interested in the following:
OK, great! I'll add you to these teams. If that ends up being too many notifications (because of automatic review requests), feel free to update the list. (You can ask me anytime.)
Done. Let me know if I have done any mistake.
The notifications shouldn't be an issue, I'm already subscribed to all of them. :-)
Just wondering in passing. Would it make sense to have maintainer groups crossing the directory boundary, like notations-maintainers, float-int-maintainers, unification-maintainers, coercions-maintainers, etc?
Yes, absolutely. We do have some of that already, e.g. universe-maintainers, extensible-syntax-maintainers...
Last updated: Oct 16 2021 at 02:03 UTC