Discussions on the future of the opam repository

The notes from the previous meeting are available here, sorry for the delay.

The next meeting will be tomorrow (Wednesday 2024-02-21) same time and place as previously: