They are all tagged in git anyway. And so far we don’t clean the mirror for the individual package tarballs. So everything could be downloaded from a given git tag.
François > On 28/03/2017, at 08:47, Volker Braun <vbraun.n...@gmail.com> wrote: > > I'm fine with deleting old beta versions, there isn't any point in keeping > those around. > > > > On Monday, March 27, 2017 at 12:30:13 PM UTC+2, Harald Schilly wrote: > On Mon, Mar 27, 2017 at 12:32 AM, Volker Braun <vbrau...@gmail.com> wrote: > > Binaries are done! > > Also, the documentation pages are updated, as is the website. Is it ok > if I slim the mirror a little bit by removing old development sources? > I think they're only for historic purposes and nobody needs them. > > -- harald > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-release+unsubscr...@googlegroups.com. > To post to this group, send email to sage-release@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.