Re: move to github

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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



[Index of Archives]     [Linux Embedded]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [XFree86]

  Powered by Linux