On Tue, Nov 22, 2016 at 8:10 AM, Richard Feldman < richard.t.feld...@gmail.com> wrote:
> What would happen if someone deletes their github repository? Wouldn't the >> same kind of breakage take place? >> > > Yep, but that's a flaw in the current implementation (which was chosen for > expedience), not a desired feature of the design. > > The longer-term plan (which might be happening in 0.19) is for packages to > be downloaded from somewhere other than the source repo. > > It would be awesome to have a peer-to-peer structure where one would have at least 3 peers for most packages: the github repository, an official elm-lang server cache of all the tagged repositories and a local machine peer. Companies developing with Elm could also have a company peer. :) -- There is NO FATE, we are the creators. blog: http://damoc.ro/ -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
