Skip to content

Meetings agenda

Marcello Seri edited this page Mar 28, 2024 · 21 revisions
  • Always start the meeting asking how’s everyone doing and if they have any issues
  • Does anyone want to write the meeting notes this week?
  • Add any major changes (CI, new maintainers, …) to the meeting notes

For the next meeting:

Typical tasks:

  • Are there been any change in the infrastructure? (opam-repo-ci, machines, Github Actions, …)
  • Are there big issues to discuss first?
  • Are there upcoming surprises that we should know about?
    • e.g any upcoming big PRs (dune, JaneStreet packages, Tezos, …)?
  • Progress on the documentation for maintainers
  • Progress on the documentation for publishers

On quiet weeks:

  • revisit long standing issues and PRs, close them if deemed necessary.