@Théo Zimmermann so I think we have to own up to that these PRs might be stuck an undefined interval unless we intervene:
what policy should we have for this in practice? Maybe there should be a timeout set by a bot somewhere?
I would honestly feel better about mechanizing interventions, e.g., PRs marked "important" will go through some stages before being explicitly delegated to handling by others
The manifesto explicitly says that other coq-community members may step in when maintainers do not respond.
What I'm more worried about is whether this means that these projects should be considered unmaintained.
right, there's no question interventions have been flagged up as possible, but I think we need more specific guidelines.
Probably I miss sth, but maintainers might also have (mentally) classified those PRs as “unimportant”. They seem to mostly affect the coq-community infrastructure?
doesn’t mean the projects are maintained, but those PRs don’t look important to me... (FWIW)
@Paolo Giarrusso so what constitutes important updates in your book? Personally, I consider having non-stale links in a README important
Webpages of most academics seem to disagree, but my book doesn’t matter.
Ditto for mailboxes
Last updated: Feb 04 2023 at 02:03 UTC