Minutes August 25 2021 - math-comp/math-comp GitHub Wiki

Participants: Reynald Affeldt, Cyril Cohen, Christian Doczkal, Pierre Roux, Enrico Tassi, Laurent Thery

Topic 1: List of contributors

  • Provide a more detailed contribution listing, e.g. https://www.sagemath.org/changelogs/sage-9.3.txt (suggested to Cyril by Florent)
  • what about having a list of participants with more precise information about contributions?
    • the changelog already has a list of contributors
    • one can get more information from "github insights"
      • what about relative contributions?
    • add a list of PRs with authors and reviewers?
    • ask the Sage people how they do it?
      • what scripts are they using?
    • don't change the format of the changelog and introduce a new file for that
      • CONTRIBUTORS.md?
    • Cyril to investigate the github API for that purpose

Topic 2: 1.13.0

  • Reminder: 1.13.0 to be released soon. Final(?) check of the milestone.
    • no experimental PRs, nothing is blocking
    • About PR 731
      • Cyril and Christian agreed on non-deprecating a lemma
    • About PR 766
      • that needs to be fix for the release and is waiting for a review
      • it is about the introduction of a light form of locking, has been checked against CoqEAL, it looks like the performance bug has been fixed
    • About PR 771
      • Reynald to review by the end of the week
    • waiting for the release of Coq 8.14
    • About PR 755
      • discussion about map2 with input from Cyril for Pierre