Stream: Coq devs & plugin devs

Topic: Docker-sponsored OSS membership renewal submitted for coqorg


view this post on Zulip Erik Martin-Dorel (Dec 29 2023 at 22:37):

Dear Coq devs,

I recently received a notification "Your Docker-Sponsored Open Source membership is expiring" for Docker Hub

FYI I submitted the renewal request today
2023-12-29_17-21-30_Screenshot_Docker-Sponsored_Open_Source_Program.png

Cc @Karl Palmskog @Théo Zimmermann @Pierre Roux @Jason Gross FYI

view this post on Zulip Karl Palmskog (Dec 29 2023 at 22:38):

great [about submitting the renewal request], I hope they will accept the renewal


Last updated: Oct 13 2024 at 01:02 UTC