Stream: Coq devs & plugin devs

Topic: Becoming member of the libraray maintainer GIT group


view this post on Zulip Michael Soegtrop (Jun 02 2021 at 08:24):

I would like to become a member of the library maintainer group. I guess the process is to request it here?

view this post on Zulip Gaëtan Gilbert (Jun 02 2021 at 08:28):

it's a github group not a git group

view this post on Zulip Gaëtan Gilbert (Jun 02 2021 at 08:29):

I think you have the power to add yourself, so you just need to announce that you're doing so

view this post on Zulip Théo Zimmermann (Jun 02 2021 at 11:44):

Exactly.

view this post on Zulip Théo Zimmermann (Jun 02 2021 at 11:45):

The link to add yourself is mentioned in the contributing guide, IINM.

view this post on Zulip Théo Zimmermann (Jun 02 2021 at 11:46):

(For efficiency, I've taken care of adding you.)

view this post on Zulip Michael Soegtrop (Jun 02 2021 at 11:54):

Thanks Théo!


Last updated: Oct 15 2021 at 19:03 UTC