Either Julian Ruth or whoever set up https://gitlab.com/sagemath/sage
I have also asked on Zulip https://sagemath.zulipchat.com/#narrow/stream/271070-help---build/topic/Docker/near/357583892 Best, Edgar On Thu, May 11, 2023 at 8:27 AM Frédéric Chapoton <fchapot...@gmail.com> wrote: > asking again : who has the rights for the docker user *sagemathadmins* ? > > Frédéric > > Le dimanche 23 avril 2023 à 10:33:42 UTC+2, Frédéric Chapoton a écrit : > >> There are some instructions for that at the top of our docker/Dockerfile. >> But I guess there is also a matter of rights, no ? Who is allowed to do >> that ? Maybe Julian ? >> >> Le mercredi 5 avril 2023 à 10:18:27 UTC+2, Frédéric Chapoton a écrit : >> >>> Hello, >>> >>> it seems that no recent image is available on docker hub: >>> >>> https://hub.docker.com/search?q=sagemath%2Fsage >>> >>> In particular, 9.8 is not there. >>> Is there a way to manually update that, if there is no automatic >>> mechanism to do the job ? >>> >>> Frédéric >>> >> -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/46326268-9d68-4d69-a3b9-75740674a215n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/46326268-9d68-4d69-a3b9-75740674a215n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CA%2BiQ7x4N09OpWW%2BK5XJ1nYTVFk%3DPaVJ6fzRMU7Q4wwNpnKdLcQ%40mail.gmail.com.
