Coq Call 2022 06 29 - rocq-prover/rocq GitHub Wiki

• June 29, 2022, 4pm-4:30pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call
• Matthieu S., Théo Z., Erik M.-D.

Topics

• Given recent restrictions added in Docker Hub and GitLab ToS, except for FOSS projects;
• Applying to:
  • the Docker-Open-Source Program for hub.docker.com/u/coqorg (done by Erik today)
  • the GitLab-for-Open-Source Program for gitlab.com/coq (already done by Matthieu in September 2021, will have to be renewed on 2022-09-29)
  • the GitLab-for-Open-Source Program for gitlab.com/coq-community (done by Théo today)
  • and the GitLab-for-Open-Source Program for gitlab.com/math-comp (could be done soon by Erik, using this doc)