On Tue, Mar 24, 2015 at 10:22 AM, Steffen Planthaber <steffen.plantha...@dfki.de> wrote: > I played a bit around with the github API to extract a package list using > js. > > Here is a first result: > http://planthaber.github.io/rock-package-list/packages.html
Sorry if that sounds harsh, but could you explain what you are trying to achieve with this ? The main limitation I see right now is that github is *not* a reference: - not all packages are hosted on github - deprecated / unmaintained packages will be kept for the reason of reference / historical / keeping old systems running - you can't make the difference between stable/master/deprecated packages - not all packages are hosted on rock-* on github - the autoproj configuration contains this information and more already Sylvain _______________________________________________ Rock-dev mailing list Rock-dev@dfki.de http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
