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?
help-wanted sounds good to me. We should do some work so that these issues are given a better visibility.
Who gets notifications for issues inside projects? Maybe putting them next to the "change-maintainer" issues in the manifesto makes these issues more visible?
@Christian Doczkal "help wanted" is highlighted whenever projects are listed in some search, and in the organization project list
indeed we can/should also create lists elsewhere based on issues that need help in the coq-community organization
Yes, notifications are a good point.
Last updated: Jun 03 2023 at 18:01 UTC