Stream: math-comp devs

Topic: docker-mathcomp and free teams

Karl Palmskog (Mar 17 2023 at 08:31):

@Erik Martin-Dorel did you get an email from Docker about the MathComp Docker org becoming ineligible to be a "free team"? https://www.docker.com/blog/we-apologize-we-did-a-terrible-job-announcing-the-end-of-docker-free-teams/

The dilemma here is about CECILL-B/C not being recognized by Docker in their open source program, right?

Karl Palmskog (Mar 17 2023 at 08:33):

this quote sounds relevant:

We encourage all open source projects to apply, even if you were not accepted on a prior application, as we updated the program and expanded eligibility in September 2022. We have assigned more staff to promptly review all applications.

Maybe worth another try.

Pierre Roux (Mar 17 2023 at 09:00):

I see only "CeCILL Free Software License Agreement v2.1" but also "Other" in the list there: https://www.docker.com/community/open-source/application/ so there might be a slight hope?

Karl Palmskog (Mar 17 2023 at 09:02):

what we could potentially do is to go through the CECILL-B/C to CECILL relicensing process in the Docker containers. So the container image content gets distributed under CECILL-2.1, even if the original GitHub source is under CECILL-B/C.

Karl Palmskog (Mar 17 2023 at 09:03):

essentially, some boilerplate text declarations need to be added, but probably no big deal to handle this via docker-keeper

Karl Palmskog (Mar 17 2023 at 09:09):

if there is some free-text field we could explain the CECILL-B/C deal (the licenses are kind of stuck in limbo, but there is always the CECILL-2.1 conversion)

Karl Palmskog (Mar 17 2023 at 09:10):

as heavy user of MathComp automation I'd be happy to help if I can with a re-application.

Pierre Roux (Mar 17 2023 at 09:10):

There are BSD licenses in the list so maybe we could just try to convince them that CeCILL-B is mostly a BSD.

Karl Palmskog (Mar 17 2023 at 09:11):

this might be difficult in the end, given that FSF lists CECILL-B/C as GPL-incompatible. But I agree in principle.

Erik Martin-Dorel (Mar 25 2023 at 17:39):

Cc @Karl Palmskog
Hi all, yes this was a key issue and I did receive the notification for that.
But good news, yesterday I also received this message:

On March 14, 2023, we emailed you about your Free Team subscription, outlining our intention to sunset that plan. After listening to the concerns of the community, we’ve decided to reverse course, and are no longer sunsetting the Free Team plan.

If you’re currently on the Free Team plan, you no longer have to migrate to another plan by April 14. All customers who upgraded to a paid subscription will automatically receive a full refund for the transaction in the next 30 days, allowing them to use their new paid subscription for free for the duration of the term they purchased.

We apologize for the alarm our decision caused.

Last updated: Oct 13 2024 at 01:02 UTC