Stream: coq-community devs & users

Topic: New maintainers of bertrand and qarith-stern-brocot?


view this post on Zulip Karl Palmskog (Jun 14 2020 at 14:13):

@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.

view this post on Zulip Karl Palmskog (Jun 14 2020 at 14:57):

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)

view this post on Zulip Théo Zimmermann (Jun 14 2020 at 21:25):

I would say yes, but @Hugo Herbelin didn't really answer my proposal to do so.

view this post on Zulip Karl Palmskog (Aug 19 2020 at 10:08):

@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.

view this post on Zulip Théo Zimmermann (Aug 19 2020 at 10:39):

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