Erik Martin-Dorel (Jan 03 2023 at 00:27): Erik Martin-Dorel (Jan 03 2023 at 00:27):Just FYI (Cc @Théo Zimmermann @Matthieu Sozeau @Karl Palmskog) I received today (2023-01-02) this email from Docker Hub:
Hi there,
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 awarenessTo 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!
Thanks,
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:
2023-01-03_01-14-00_Screenshot_DSOS.png
Erik Martin-Dorel (Jan 03 2023 at 11:13):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:
free autobuilds
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 opensource@docker.com and include the name of your project in the subject line. If you have questions regarding technical support please contact support@docker.com.
Thank you!
Erik Martin-Dorel (Jan 06 2023 at 16:11):Hi again, the special badging "Sponsored OSS" has just been added:
2023-01-06_17-07-53_Screenshot_DSOS.png
So I guess the "rate-limit removal" is active as well now.
Karl Palmskog (Jan 06 2023 at 16:35):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
Karl Palmskog (Jan 06 2023 at 16:40):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.
Erik Martin-Dorel (Jan 07 2023 at 01:11):can we get a @CoqLang tweet of this
good idea!
@Théo Zimmermann could you tweet it ?
Théo Zimmermann (Jan 07 2023 at 17:56):Done: https://twitter.com/CoqLang/status/1611783694741639169
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: Sep 09 2024 at 05:02 UTC