On Tue, Nov 22, 2016 at 8:10 AM, Richard Feldman < [email protected]> 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
