On 5/9/2012 7:55 PM, Cedric Vivier wrote: > 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). > > Advantages I can see : > - very reliable and fast git infrastructure https://status.github.com/ -- 2 issues in the last 3 days. Quite often down. > - easier to follow luajit changes (even without git) http://luajit.org/changes.html http://luajit.org/git/luajit-2.0.git/feed.xml > - easier and more open way to contribute (pull requests) Isn't that just a GitHub-branded patch? > - optional light issue tracking I guess this would be easier than searching list archives > Thoughts? Useful maybe. GitHub really is overhyped though. cgit does nearly as good a job.