I think it would be better if we had separate repositories for the
source code, webpage and other things we want to preserve from cvs.
Now that everything is in git, we can use git to make this change.
So I suggest that we leave the repo repository as it is now. We can
create a repository which contains only the source code with
git filter-branch --subdirectory-filter maxima -- --all
and put that to the maxima repository. This also makes the generic
sourceforge instructions for git correct for the main repository
(http://sourceforge.net/scm/?type=git&group_id=4933). Similarly for
the website
git filter-branch --subdirectory-filter site-xml -- --all
and push that to the site-xml repository.
Andrej