Re: [mosquitto-dev] Should we move the Mosquitto repositories to GitHub?

[Roger Light <roger@xxxxxxxxxx>]

Hi all,

Thanks for the input, I've had some positive chats on irc as well.

I've submitted a bug request to track the migration:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=488650

Cheers,

Roger


On Thu, Feb 18, 2016 at 6:57 PM, Jan-Piet Mens <jpmens@xxxxxxxxx> wrote:
>> Is it a good idea?
>
> Yess! Particularly your decision to use the Gibhub issue tracker is +1.
>
>         -JP
>
> _______________________________________________
> mosquitto-dev mailing list
> mosquitto-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from this list, visit
> https://dev.eclipse.org/mailman/listinfo/mosquitto-dev