Théo Zimmermann (Aug 11 2021 at 17:33): Théo Zimmermann (Aug 11 2021 at 17:33):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?
Théo Zimmermann (Aug 11 2021 at 17:36):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).
Ali Caglayan (Aug 11 2021 at 17:49):Thanks! I think I would be interested in the following:
Théo Zimmermann (Aug 11 2021 at 22:17):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.)
Théo Zimmermann (Aug 11 2021 at 22:20):Done. Let me know if I have done any mistake.
Ali Caglayan (Aug 11 2021 at 22:51):The notifications shouldn't be an issue, I'm already subscribed to all of them. :-)
Hugo Herbelin (Aug 28 2021 at 19:38):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?
Théo Zimmermann (Aug 28 2021 at 19:47):Yes, absolutely. We do have some of that already, e.g. universe-maintainers, extensible-syntax-maintainers...
Last updated: Oct 13 2024 at 01:02 UTC