[Rock-dev] Proposal for a Rock website redesign

[Sylvain Joyeux]

On Tue, Mar 24, 2015 at 10:22 AM, Steffen Planthaber
<Steffen.Planthaber at 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