Just FYI (Cc @Théo Zimmermann @Matthieu Sozeau @Karl Palmskog) I received today (2023-01-02) this email from Docker Hub:
We appreciate your patience as we’ve been improving our Docker-Sponsored Open Source (DSOS) Program. And we have exciting updates to share on how to re-submit your application (in one click!) based on new eligibility criteria and so you can receive exclusive DSOS program benefits.
Expanded eligibility criteria
At our last Community All-Hands, we announced the DSOS Program’s updated eligibility criteria. This new eligibility lets us accept more members (even some commercially-funded projects!) and fuel our community's open source projects.
New insights and benefits
Program members can access additional benefits including:
Insights and analytics to show how your images are being used Docker Hub DSOS badge to increase discoverability and brand awareness
To unlock this eligibility, we’re asking for you to re-apply using our new, streamlined application. For questions, feel free to reach out to us at OpenSource@Docker.com. We look forward to your submissions!
The Docker Team
as a follow-up of my earlier application, see https://github.com/coq/coq/wiki/Coq-Call-2022-06-29 ;;
So, I just submitted a new application for
coqorg / https://github.com/coq-community/docker-coq, and I got this message:
Good news :tada: ↓
Hi Erik Martin-Dorel,
Congratulations! Your project has been approved for the Docker-Sponsored Open Source program. A Docker Team subscription will be allocated to the project organization Docker ID specified in your application within the next 3 weeks. In addition to a Team subscription, you now have:
rate-limit removal for all users pulling public images from your project namespace
special badging on Docker Hub (this will be visible within two weeks)
If you haven’t already, please take the time to update your project’s Hub pages to include a detailed project description, links to your project source code, as well as contributing guidelines, and a link to your organization’s website. Projects lacking this information may not receive the Docker Sponsored Open Source badging for their images on Docker Hub.
Membership in the Docker-Sponsored Open Source (DSOS) program is valid for one year. You will receive a reminder email from us when it is time to renew your membership.
We are thrilled to have you as an open-source partner. If you have any questions regarding the open source program please contact firstname.lastname@example.org and include the name of your project in the subject line. If you have questions regarding technical support please contact email@example.com.
Hi again, the special badging "Sponsored OSS" has just been added:
So I guess the "rate-limit removal" is active as well now.
can we get a
@CoqLang tweet of this maybe? For example:
The coqorg Docker organization is now part of the Docker-Sponsored Open Source program! This means you can pull our Coq Docker images for CI and local use without worrying about rate limitations. Check out our images going all the way back to Coq 8.4: https://hub.docker.com/r/coqorg/coq
this is one less thing to worry about, for sure. For any kind of scaling in Coq-community (number of projects, number of contributions), Docker+Actions is what we fall back on.
can we get a @CoqLang tweet of this
@Théo Zimmermann could you tweet it ?
The coqorg #Docker organization is now part of the Docker-Sponsored #OpenSource program! This means you can pull our Coq Docker images for CI and local use without worrying about rate limitations. Check out our images going all the way back to Coq 8.4: https://hub.docker.com/r/coqorg/coq- The Coq proof assistant (@CoqLang)
Last updated: Dec 06 2023 at 14:01 UTC