move to github

[Jean-Christophe PLAGNIOL-VILLARD]

> On 18 Sep 2017, at 3:14 PM, Sascha Hauer <s.hauer at pengutronix.de> wrote:
> 
> On Thu, Sep 14, 2017 at 05:46:52PM +0800, zjh wrote:
>> I suggest that Barebox migrate to GitHub, which makes it easier to develop.
> 
> Well it makes it easier for some people, but not for others (including
> me atm). I may be convinced if I get more feedback like this in the
> future, but until this is the case: No, sorry.

For people in China such as myself, yes github is quicker than pengutronix

but we can have an automatic mirror on github and keep pengutronix.de as the main repository

Best Regards,
J.
> 
> Sascha
> 
> 
> -- 
> Pengutronix e.K.                           |                             |
> Industrial Linux Solutions                 | http://www.pengutronix.de/  |
> Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0    |
> Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |
> 
> _______________________________________________
> barebox mailing list
> barebox at lists.infradead.org
> http://lists.infradead.org/mailman/listinfo/barebox