[Rock-dev] Migration to github

[Jakob Schwendner]

Hi Sylvain,

> We've had a DFKI-private discussion a month or so ago about
> 
>  1/ migrating to github
>  2/ enabling commit control (i.e. give commit access to packages only to
the
> package
>      maintainers, and use merge requests / pull requests for everybody
else)
> 
> The outcome was an OK in principle, especially given that it would mean
very
> little changes for non-developers (developers would only have to sign in
to
> github)
> 
> OK ... Now ... I have some spare time, so ...
> 
> What about I start with rock-base and rock-toolchain ?

In principle I don't have anything against it. But I think this should be
planned and communicated a little bit. 
Also, maybe we should recapitulate a little bit on the advantages of this
move. The only thing I remember was slightly nicer interface, and the
built-in bug tracker. 

The questions I have are:
What do we do with our current bug tracker? E.g. what about bugs that span
multiple packages? Same for the wiki, per package will be pretty confusing.
E.g. how do we map the structure from gitorious to github? 
Will there be an organization for each project that we currently have, e.g.
rock-slam, rock-drivers, a.s.o?

Cheers,

Jakob