Minutes April 8 2020

• meta: about the release process

  • release is occasion to look around, identify and push stale stuff
  • but turns out to be a lot of work
  • it could be done at another point in time (eg during MC meeting)
  • probably the two actions (releasing and pushing stale stuff) should be de-correlate or releases are going to be too much of an effort for people to volunteer

• about beta 1.11

  • Here is the memo that Reynald and Yves have been working on:
    • Merged
      • https://github.com/math-comp/math-comp/pull/429 ready to be merged according to 27/03 meeting (merge April 1st)
      • https://github.com/math-comp/math-comp/pull/468 closed issue https://github.com/math-comp/math-comp/issues/418 caused merge (finmap) of https://github.com/math-comp/finmap/pull/64
      • https://github.com/math-comp/math-comp/pull/472 easy doc fix
      • https://github.com/math-comp/math-comp/pull/211 rewriting with AC cyril would like to merge does not need propagation anymore
    • To merge:
      • https://github.com/math-comp/math-comp/pull/221 IN-PROGRESS (one commit as been made to address easy comments) address comments by Cyril
      • https://github.com/math-comp/math-comp/pull/431 can be merged
      • https://github.com/math-comp/math-comp/pull/473 easy renamings, could help get rid of https://github.com/math-comp/math-comp/issues/359
      • https://github.com/math-comp/math-comp/pull/474 documentation fixes
    • To discuss:
      • https://github.com/math-comp/math-comp/pull/346 talk to palmskog (YB added a comment to trigger conversation with him, April 1st) Did a rebase locally
      • https://github.com/math-comp/math-comp/pull/357 talk to proux01
      • https://github.com/math-comp/math-comp/pull/207 needs a meeting (YB sent a message April 1st)
    • To postpone?
      • https://github.com/math-comp/math-comp/pull/433 gares doesn't mind
    • Postpone
      • https://github.com/math-comp/math-comp/pull/316 agreed by ejgallego
    • Tentative to reduce the number of issues:
      • Close https://github.com/math-comp/math-comp/issues/361 ?
      • Close https://github.com/math-comp/math-comp/issues/138 ? With a PR that move Assia's explanation to https://github.com/math-comp/mathcomp/blob/master/CONTRIBUTING.md ?
      • Close https://github.com/math-comp/math-comp/issues/225 ? for the first part: void does now appear in ssrfun.v for the second part: Hasn't this be essentially addressed by https://github.com/math-comp/math-comp/pull/393 ?
      • Close https://github.com/math-comp/math-comp/issues/136 ? it points to non-existing page
      • Postpone https://github.com/math-comp/math-comp/issues/212 ?

• Next meeting: https://framadate.org/MQg22Og7h2HrRIvu