Definitely the second option makes a lot of sense. This plugin was not reimported because nobody bothered filing the associated PR.
I think we should simply move your repo into the org. 2017-09-10 22:01 GMT+02:00 David Matějček <dmate...@gmail.com>: > The second option (maybe much better) is that my repository would move to > Mojohaus and I will be somehow responsible for this plugin ... (there is > not much work on it, only to publish and maybe to create some site for the > plugin). > > > -- > You received this message because you are subscribed to the Google Groups > "mojohaus-dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to mojohaus-dev+unsubscr...@googlegroups.com. > To post to this group, send email to mojohaus-dev@googlegroups.com. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/mojohaus-dev/16a55d93-c954-47f0-a892-4cf3606a542a%40googlegroups.com > <https://groups.google.com/d/msgid/mojohaus-dev/16a55d93-c954-47f0-a892-4cf3606a542a%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "mojohaus-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to mojohaus-dev+unsubscr...@googlegroups.com. To post to this group, send email to mojohaus-dev@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/mojohaus-dev/CANWgJS6RvByqhFmtKxTnfR9QrRg6HJeaEnsHRo1V72xD%2Bae%3D_w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.