To all LinBox developers,
We have to think of replacement for the
linalg.org server, hosting not only linbox svn & trac but
also fflas-ffpack svn & trac.
As a starter, we (the fflas-ffpack developers) decided to move fflas-ffpack from svn to git and opt
for hosting it on github.
Since fflas-ffack shares the same ecosystem as LinBox and Givaro, we'd like to suggest that LinBox
makes a similar move.
Jean-Guillaume (in lead dev of Givaro) is already willing to make this move for Givaro.
In case we decided to go for it, we would create a github organization hosting the 3 repositories.
The role of an organization is to have repos attached to a community and not a single individual. See
https://github.com/blog/674-introducing-organizations
Then we would need a name for this org.
I suggest we call it linbox or linbox-group, or something like that, as linbox is probably the most
visible name in this ecosystem.
So the two main questions here are
1. is it ok to move linbox to git ?
2. is it ok to host a mirror on github?
3. decide on a name for the common organization hosting linbox fflas-ffpack and givaro. Proposition:
linbox or linbox-group
Cheers
Clément