On Tue, Dec 8, 2020 at 5:17 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > > On Tuesday, December 8, 2020 at 8:16:53 AM UTC-8 Dima Pasechnik wrote: >> >> On Tue, Dec 8, 2020 at 3:56 PM Eric Gourgoulhon <egourg...@gmail.com> wrote: >> > On the page >> > https://hub.docker.com/r/sagemath/sagemath/tags?page=1&ordering=last_updated >> > we see the Docker images develop and develop-py3, as well as 9.3.beta3 and >> > 9.3.beta3-py3. I guess this is a duplicate and that there should no longer >> > be any stuff marked '*-py3' now... >> >> it's from .ci/push-dockerhub.sh : >> >> # For historical reasons, we also provide a -py3 tag. It's identical >> to the non-py3 tag. >> >> docker tag ${DOCKER_NAMESPACE:-sagemath}/$1:$DOCKER_TAG >> ${DOCKER_NAMESPACE:-sagemath}/$1:$DOCKER_TAG-py3 >> >> docker push ${DOCKER_NAMESPACE:-sagemath}/$1:$DOCKER_TAG-py3 >> >> Can these lines just be removed? >> >> I don't see any "historical reason" here... > > > User packages' CI scripts may be referring to this tag.
fine, but this does not need several "docker push", as we are tagging the same image, right? docker image push --all-tags should do all this in one go, no? > > > > > > -- > 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/010a3525-a4b5-401e-8cc6-09b19586d232n%40googlegroups.com. -- 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/CAAWYfq0mHuUURNt%3DPMgv2FWZGWEbPKNchXkAsvo-pnnd60LJFA%40mail.gmail.com.
