> > 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. -- 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.