Stream: coq-community devs & users

Topic: Advertising for co-maintainers


view this post on Zulip Karl Palmskog (Aug 31 2020 at 12:32):

Assume a project is in coq-community and maintained, but the maintainer is actively looking for co-maintainers. How should this best be advertised? It's not a "change-maintainer" or "move-project" issue. Maybe have an "help-wanted" issue in the project itself?

view this post on Zulip Théo Zimmermann (Aug 31 2020 at 13:59):

Yes, help-wanted sounds good to me. We should do some work so that these issues are given a better visibility.

view this post on Zulip Christian Doczkal (Aug 31 2020 at 14:03):

Who gets notifications for issues inside projects? Maybe putting them next to the "change-maintainer" issues in the manifesto makes these issues more visible?

view this post on Zulip Karl Palmskog (Aug 31 2020 at 14:08):

@Christian Doczkal "help wanted" is highlighted whenever projects are listed in some search, and in the organization project list

view this post on Zulip Karl Palmskog (Aug 31 2020 at 14:09):

indeed we can/should also create lists elsewhere based on issues that need help in the coq-community organization

view this post on Zulip Théo Zimmermann (Aug 31 2020 at 14:16):

Yes, notifications are a good point.


Last updated: Feb 05 2023 at 13:02 UTC