@Théo Zimmermann so should we advertise for new maintainers of bertrand and qarith-stern-brocot by creating (separate) issues? I think you wrote something to this effect in the Stalmarck issue.
with no current official maintainer of a coq-community package, "meta-maintainers" are arguably freer to make small changes like updating template-generated files (since they are not stepping on anyone's toes/territory)
I would say yes, but @Hugo Herbelin didn't really answer my proposal to do so.
@Théo Zimmermann given the passage of time, I think we can count these as looking for maintainers now? Maybe you also can quickly update and merge your template PRs for Bertrand and QArith-Stern-Brocot? I was planning to do some minimal boilerplate changes to at least make the initial experience better for a new maintainer.
Bertrand is compatible with 8.8-8.10. I've opened https://github.com/coq-community/bertrand/pull/7 to make this explicit.
Last updated: Feb 04 2023 at 02:03 UTC