On Monday, March 27, 2017 at 5:08:39 AM UTC+2, slelievre wrote: > > Volker, William, > > Any chance a redirect from the now-404 > > https://github.com/sagemath/docker > > to the current > > https://github.com/sagemath/docker-images > > might be set up? >
No, but the existing "docker-images" could be renamed to just "docker". Then it would redirect and move the repo's extras, see https://help.github.com/articles/renaming-a-repository/ -- harald -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
