[Rock-dev] Decision on the fate of external/ ?

[Jakob Schwendner]

> It brings me down to the inclusiveness of Rock as a project. I have the
> impression that both the point of views on how releases should be made and
> external/ boil down to: what should Rock's identity be in the end.
This seems to be a good interpretation of the situation, and possibly the
clue to resolve it properly.

I think that the external directory should just go away.
Releases imho should be for a set of core packages.
The libraries and components are peripheral and their level of maintenance
will change over time. 
Their level of compatibility with releases as well as their maintainership
status could be indicated by tags in the manifest.

Cheers,

Jakob