Btw., I recently applied for "Sponsored OSS" status on the Docker Hub which
was finally granted. So we can now have more then 3 user accounts with
write access (until now it was mkoeppe, a bot user and myself.) Please
contact me if you want to be added as a maintainer.
On Thursday, May 11, 2023
I realized that one of my messages never got to the mailing list.
If we agree that we would like to keep having this, then we should move the
> old gitlab workflow to GitHub.
> I have minimal experience building dockers, but these are quite convenient
> when you suddenly break your sage due to som
Sorry, I didn't see this thread.
I do have the credentials for docker hub. I am happy to share them with
anybody who wants to help with maintaining the docker images. (I don't use
the docker images anymore myself so I do not really maintain them anymore.
Also, the automatic infrastructure that
On Thu, May 11, 2023 at 2:07 PM Yan Bo Ti wrote:
>
> Hello all, firstly, thank you for your hard work.
>
> I am trying to compile sage from source, because I can't seem to do sage -pip
> install if I were to install it using pacman.
> But in the course of building sage, I encountered an error wit
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
wrote:
> asking again : who has the right
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 allow
