To add variation to this boring discussion, let me intervene: So, why do we need to mirror PyPI ?
>From this discussion, I guess that the answer is 1. We want to pin the version of standard package 2. We do not want to assume internet connection Is there other reason, Matthias? Dima, which of (1) and (2) do you think we can abolish? -- 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/b47a3e26-31e6-4755-8a7d-20e6e471aa9en%40googlegroups.com.
