Please move these to elm-community. I can help move them over. Reach on slack on #elm-community
On Fri, Jan 20, 2017 at 7:38 PM, Joey Eremondi <joey.eremo...@gmail.com> wrote: > Might these be candidates for migrating to elm-community? > > On Fri, Jan 20, 2017 at 2:29 AM, Bogdan Popa <popa.bogd...@gmail.com> wrote: >> >> Hi folks, >> >> Due to various reasons, I will no longer be focusing my attention on Elm >> for the foreseeable future. Unfortunately, this means that the libraries >> that I have created/have been maintaining so far will no longer be >> maintained by me. AFAICT, the following libraries are seeing a decent amount >> of use: >> >> * elm-combine >> * elm-datepicker >> * elm-route >> * elm-time >> >> It would be sad to see them die off and I would feel bad letting down any >> of their current users by not providing a path forward. If you depend on any >> of these and would like to step up and start maintaining one or more of >> them, please e-mail me directly. >> >> I had also been maintaining the Elm mode for Emacs for the past couple of >> years. I cannot give others commit access to that repository, but I'm sure >> @jcollard would happily do it if anyone wants to step up and maintain the >> project. >> >> Thanks! >> Bogdan >> >> -- >> 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. > > > -- > 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. -- 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.
