.devcontainer/develop-docker-sagemath

[mkoeppe]

As current Docker images are available again (https://groups.google.com/g/sage-devel/c/eJ_OicQXM8Y - thanks @soehms), we should resurrect .devcontainer/develop-docker-sagemath

https://doc.sagemath.org/html/en/developer/portability_testing.html#using-our-pre-built-docker-images-for-development-in-vs-code

[soehms]

As current Docker images are available again (https://groups.google.com/g/sage-devel/c/eJ_OicQXM8Y - thanks @soehms), we should resurrect .devcontainer/develop-docker-sagemath

https://doc.sagemath.org/html/en/developer/portability_testing.html#using-our-pre-built-docker-images-for-development-in-vs-code

At the moment I've just uploaded the small images (sagemath/sagemath, not sagemath/sagemath-dev) and only these for stable releases (9.8 and 10.0). Is this sufficient?

[mkoeppe]

It looks like I may have misremembered, and we actually only had .devcontainer/downstream-docker-sagemath
(removed in b29dfa7), which uses sagemath/sagemath.

[soehms]

It looks like I may have misremembered, and we actually only had .devcontainer/downstream-docker-sagemath (removed in b29dfa7), which uses sagemath/sagemath.

The sagemath/sagemath:develop tags on Docker Hub will be auto-generated again, as soon as #36047 is merged and the cooresponding credentials secrets.DOCKERHUB_USERNAME and secrets.DOCKERHUB_TOKEN are present in the upstream repository.