Karl Palmskog (Aug 31 2020 at 12:32): 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?
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.
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?
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
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
Théo Zimmermann (Aug 31 2020 at 14:16):Yes, notifications are a good point.
Last updated: Apr 18 2024 at 18:01 UTC