Re: Moving to Github?
- From: Mike Pall <mike-1205@xxxxxxxxxx>
- To: luajit@xxxxxxxxxxxxx
- Date: Thu, 10 May 2012 09:18:39 +0200
Cedric Vivier wrote:
> As I tried to update my tracking repo, it failed probably due to an
> upstream rebase and/or luajit.org/git server problem (which happens to
> be unresponsive from time to time also).
The server has 100% uptime in the last few years. The provider is
very well connected.
> eg. "error: Unable to find 51f05d64c93b5c1e8ba152740012454f399b996d
> under http://luajit.org/git/luajit-2.0.git";
>
> This is not the first time and I happen to occasionally have to
> scratch and reclone my repo to be able to track luajit development.
> Unfortunately, the mirror at repo.or.cz is not much more reliable and
> is very slow to pull from.
Umm, maybe update your git client? And check your network connection.
> I wonder if it would be a good idea to take the opportunity of the
> momentum of moving to the new list to also move development over to
> github (or at least have the mirror at github rather than repo.or.cz).
Not gonna happen.
--Mike
Other related posts:
