From mboxrd@z Thu Jan 1 00:00:00 1970 Return-path: Received: from metis.ext.pengutronix.de ([2001:67c:670:201:290:27ff:fe1d:cc33]) by bombadil.infradead.org with esmtps (Exim 4.87 #1 (Red Hat Linux)) id 1duHxJ-0007bZ-Qh for barebox@lists.infradead.org; Tue, 19 Sep 2017 12:48:55 +0000 Date: Tue, 19 Sep 2017 14:48:26 +0200 From: Sascha Hauer Message-ID: <20170919124826.ei5ppwvhp44rlp5m@pengutronix.de> References: <20170914094428.GA2479@ubuntu> <20170918071458.yzbde6tqae6buwsa@pengutronix.de> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "barebox" Errors-To: barebox-bounces+u.kleine-koenig=pengutronix.de@lists.infradead.org Subject: Re: move to github To: Jean-Christophe PLAGNIOL-VILLARD Cc: barebox@lists.infradead.org, zjh 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 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@lists.infradead.org http://lists.infradead.org/mailman/listinfo/barebox