Stream: Coq devs & plugin devs

Topic: Joining @coq/pushers


view this post on Zulip 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?

view this post on Zulip 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).

view this post on Zulip Ali Caglayan (Aug 11 2021 at 17:49):

Thanks! I think I would be interested in the following:

view this post on Zulip 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.)

view this post on Zulip Théo Zimmermann (Aug 11 2021 at 22:20):

Done. Let me know if I have done any mistake.

view this post on Zulip Ali Caglayan (Aug 11 2021 at 22:51):

The notifications shouldn't be an issue, I'm already subscribed to all of them. :-)

view this post on Zulip 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?

view this post on Zulip 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 16 2021 at 02:03 UTC