On Mon, Sep 18, 2017 at 04:20:05PM +0800, Jean-Christophe PLAGNIOL-VILLARD wrote: > On 18 Sep 2017, at 3:14 PM, Sascha Hauer <s.hauer@xxxxxxxxxxxxxx> 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 As memtioned we have https://github.com/saschahauer/barebox. I update the repository manually which adds the chance that I forget to push there when I update the master repository. I just found https://help.github.com/articles/about-github-mirrors/. It doesn't seem to be too hard to setup, I'll do that soon. 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@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox
