Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [mosquitto-dev] Should we move the Mosquitto repositories to GitHub?

Yes please :)

Il 28 feb 2016 22:47, "Manuel Domínguez Dorado" <manolodd@xxxxxxxxx> ha scritto:

Yeeees. For sure! A great idea.

El 28/2/2016 22:21, "Roger Light" <roger@xxxxxxxxxx> escribió:
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
_______________________________________________
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

_______________________________________________
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

Back to the top